On Fri, Mar 10, 2017 at 04:53:01PM +0100, Janusz Dziemidowicz wrote: > Regardless, this patch is rather safe and should probably be applied > anyway, if there are no concerns about it (and probably backported to 1.7).
OK so I just merged it and backported it to 1.7. Thanks! Willy

