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

Reply via email to