Re: #dbugfix Issue 5710

[Mike Parker via Digitalmars-d]

On Tuesday, 20 March 2018 at 03:55:24 UTC, Mike Franklin wrote:

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.

Yeah, got it :-) Also counted the other one. Thanks!