Hendrik Nicolaysen

Results 3 comments of Hendrik Nicolaysen

Hi @decadenza! Please excuse the late reply here, I hope you're still around! First of all, thank you for your contribution! I really like your suggestion here, but I have...

First of all, thanks for bringing this up @andig! This PR was long-forgotten on our side, so thank you for your patience and for reviving this! We would be happy...

Hi @andig, since #93 is now closed, what does it mean for this PR? I'm happy to merge it once the PR match the other underlying changes you made. I...