kergomard
kergomard
Thank you very much @kunzeus . I merge and cherry-pick to 7 and 8.
Thanks a bunch @nhaagen . Merged and cherry-picked in a spell.
Dear @alex40724 While checking on old open PRs in the frame of our Technical Board Meeting we stumbled over this one that is getting a little long in the tooth....
I merge and cherry-pick this to avoid further issues cropping up see: https://mantis.ilias.de/view.php?id=35076
Thanks for this PR from my side, too! I can actually not really answer your question without looking further into it (and this will have to wait for the moment)....
Hi @mjansenDatabay As Technical Board, we regularly check for pull requests that have been open for a long time. This here seems to have gotten stuck on the way ;-)....
Hi @pascalseeland As Technical Board, we regularly check for pull requests that have been open for a long time. Any Updates on this? Note, that you can also close this,...
@catenglaender : Sorry this go stuck with me for so long! Could you please rebase and force push? I tried to do this through the webinterface, but apparently that doesn't...
Thank you very much @catenglaender ! Will merge and cherry-pick to 8 and trunk.
Hi @mbecker-databay As Technical Board, we regularly check for pull requests that have been open for a long time. Any Updates on this? Note, that you can also close this,...