Hi David, On Mon, Oct 10, 2016 at 02:31:03PM +0100, David CARLIER wrote: > Hi willy, > > I think that would be useful to backport it, even when 1.7 will be > out, the 1.6 branch will be still used.
Oops sorry I missed your e-mail and discovered that I hadn't pushed Bertrand's patch that I already merged. Now done and backported. Cheers, Willy
