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
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