On Thursday, 6 December 2018 at 18:56:23 UTC, H. S. Teoh wrote: > > Argh, you're right. I should've checked before filing the bug. > :D > > In any case, it's a trivial fix: > > https://github.com/dlang/druntime/pull/2397 > > > T Great! Thanks! ^^