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?
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?