Pierre Langlois <[email protected]> writes: > Replying with the bug on CC, I didn't realise your last email didn't > include it. I assume that was a mistake?
Indeed, my mistake. I just resent my previous email to complete the
record for this bug.
> OK, pushed to master with 852ae64e11ef9107afabbdb307770f946376addd ,
> I'll close the bug as well, I suppose we can open new ones in case
> problems arise later.
Sounds good. Thanks for taking care of this, Pierre!
Mark
