On Tuesday, 5 November 2013 at 16:22:57 UTC, Denis Shelomovskij wrote: > This is Issue 10372 [1]. > > [1] https://d.puremagic.com/issues/show_bug.cgi?id=10372 Thanks! I've added a comment to the bug report.