On 2018/09/12 20:25, David CARLIER wrote: > Nope but bcallah did a (fixed) one in the previous message. > On Wed, 12 Sep 2018 at 20:16, Stuart Henderson <s...@spacehopper.org> wrote: > > > > 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? > > >
Oh. It's a new thread, I did have a few minutes to review but don't really have time to dig around archives to look for it. The easier you make it for committers, the more chance of things getting in,
