On Thu, Dec 29, 2016 at 06:23:45PM +0100, Ludovic Courtès wrote: > Leo Famulari <[email protected]> skribis: > > I wonder if I should commit this while Ludo is away? > > You could have done it. :-) > > I’ve just pushed it as 8ecc3c6c447765b1f7c15b980f985d1826f48659.
Okay, I'll be more confident in this area in the future!
