On 12/13/2016 4:14 PM, Yuxuan Shui wrote:
Bug is fixed in https://github.com/dlang/druntime/pull/1712, please review.
My favorite kind of bug report is one that comes with a fix! Thanks!But please also file the bug report in bugzilla, that makes it much easier for us to track and document the changelog.
