On Mon, Jul 9, 2018 at 2:47 AM Ondrej Mosnáček <[email protected]> wrote: > > In conclusion, the bug remained undiscovered not because of lack of > testing, but because by sheer luck it was "working" anyway...
Thanks for checking this out. That makes me a lot happier about this
whole thing.
Linus
