On Mi, 31 Mai 2017, David Larson wrote:
> Can anyone else reproduce this?
It was already being reproduced by someone else. However unless someone
spends some time to actually fix this bug and provides a proper patch
including a test, it won't be fixed soon.
Unfortunately, I don't have much time these days, so cannot provide much
more help.
Best,
Christian
--
Wie man sein Kind nicht nennen sollte:
K. Melle