On Thu, Mar 01, 2018 at 11:21:15AM +0100, Emmanuel Hocdet wrote:
> > I can merge it after applying the small changes above, unless you have
> > a different idea. Just let me know.
> > 
> Good for me.
> Thanks.

OK now merged. Thanks.
Willy

Reply via email to