On Mon, Jan 20, 2020 at 05:33:53PM +0100, Emmanuel Hocdet wrote: > Hi, > > A last patch for today. > > ++ > Manu
Good point, merged. Thanks! -- William Lallemand
On Mon, Jan 20, 2020 at 05:33:53PM +0100, Emmanuel Hocdet wrote: > Hi, > > A last patch for today. > > ++ > Manu
Good point, merged. Thanks! -- William Lallemand