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!