Hi tae! On Wednesday, 13 November 2013 at 19:34:32 UTC, Kai Nacke wrote: > And thanks for the report. :-) Your report was really inspiring. I found yet another bug and fixed it. New version of the patch (for the first time with a test case!) is already linked to the wiki page. Regards, Kai