https://issues.dlang.org/show_bug.cgi?id=13025
--- Comment #15 from github-bugzi...@puremagic.com --- Commit pushed to master at https://github.com/D-Programming-Language/druntime https://github.com/D-Programming-Language/druntime/commit/7502b0dc1e03743e725dbbb81e7e187e6f6b34fe Merge pull request #889 from MartinNowak/fix13025 --
