On Wed, Oct 19, 2016 at 05:10:03PM +0200, Ludovic Courtès wrote: > Hi Leo, > > I haven’t built the packages but the 4 patches look good to me.
Okay, pushed!
On Wed, Oct 19, 2016 at 05:10:03PM +0200, Ludovic Courtès wrote: > Hi Leo, > > I haven’t built the packages but the 4 patches look good to me.
Okay, pushed!