Hi Willy!
> Done, thanks Thomas! Can you also push it so that people see it in git and a nightly snapshot is created? The bug is pretty major, if it is in git and there are snapshots with this fix included at least we don't forget about it and people not following the ML are aware of it (like package maintainers, etc). Thanks!
