On Fri, Nov 29, 2019 at 12:17:58PM +0100, Emmanuel Hocdet wrote: > > Hi, > > A forgotten fix, comment updated. > > ++ > Manu > >
Thanks, merged. -- William Lallemand
On Fri, Nov 29, 2019 at 12:17:58PM +0100, Emmanuel Hocdet wrote: > > Hi, > > A forgotten fix, comment updated. > > ++ > Manu > >
Thanks, merged. -- William Lallemand