On Tue, Nov 13, 2018 at 09:48:03AM +0100, Frederic Lecaille wrote:
> Thank you for having pointed out this issue (fixed by this new patch
> attached to this mail).

Merged, thank you.

Willy

Reply via email to