On 2018/09/12 18:43, David CARLIER wrote:
> Hi,
> 
> Is there anyone nice enough to commit the last diff ? :-)
> 
> Thanks.
> 
> Regards.
> 

Diff is missing from your mail?

Reply via email to