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

Thanks, merged.
 


-- 
William Lallemand

Reply via email to