On 07.04.20 09:59, Iain Buclaw wrote: > On 01/04/2020 18:20, Stefan Liebler wrote: >> On 4/1/20 12:54 PM, Iain Buclaw wrote: >>> On 01/04/2020 08:28, Stefan Liebler wrote: >>>> ping >>>> >>> >>> Thanks, I'll send the patch upstream, as it's the same there. >>> >>> Looks OK to me. >>> >>> Regards >>> Iain. >>> >> >> Thanks for committing the patch upstream >> > > Hi Stefan, > > They have been merged in: https://github.com/dlang/druntime/pull/3020 > > Do you want to commit this yourself?
I've committed the patch for Stefan. Thanks! Andreas
