On 08/07/2016 07:10 PM, ag0aep6g wrote:
https://github.com/dlang/druntime/pull/1624

Has been merged. Is going to be part of 2.072.

Reply via email to