On 2016-12-07 03:27, Clément Pit--Claudel wrote:
> I've attached an updated patch, which I'll to push master in a few days if no one objects :)

Done!