On Mon, Dec 24, 2018 at 01:37:44PM +0100, Olivier Houchard wrote:
> Ooops you're right indeed. The attached patch should fix it.
> 
> Thanks a lot for reporting !

Now merged, thanks!

Willy

Reply via email to