On Tuesday, 29 August 2017 00:18:03 CEST gregor herrmann wrote: > So I think we do have a real bug here ...
Oh, but that's a different bug :-) It was fixed in 1.02 after Jonas alerted me to it on IRC. The fix for that should already be on its way into sid. Cheers, Kjetil
