On Friday, 24 August 2018 at 18:34:20 UTC, Daniel N wrote:
FYI Andrei has an open pull request: https://github.com/dlang/druntime/pull/1756
Oh well I guess great minds think alike :) Too bad it's been stalled due to a bug. I'd gladly fix it but alas, my pull requests are ignored :(