kergomard

Results 141 comments of 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,...