On Sun, Jan 06, 2019 at 07:46:15PM +0100, Thierry Fournier wrote: > Hi, > > Thanks fir the bug report. It is fixed by attached patch. > > Willy, could you merge this patch ?
Sure, now applied, thanks! Willy
On Sun, Jan 06, 2019 at 07:46:15PM +0100, Thierry Fournier wrote: > Hi, > > Thanks fir the bug report. It is fixed by attached patch. > > Willy, could you merge this patch ?
Sure, now applied, thanks! Willy