On Fri, Jan 26, 2018 at 10:05:41AM +0100, Paul Ramsey wrote: > Thank you for the patch, that’s a good fix to have, I’ll have a look and apply back across our many versions ASAP. The patch looks ok to me. --strk;