Re: #dbugfix Issue 5710

[Mike Franklin via Digitalmars-d]

On Tuesday, 20 March 2018 at 02:45:34 UTC, Jonathan M Davis wrote:

IMHO, it would be _huge_ if this issue could be fixed.

Mike Parker, I think that means +1.