On Fri, Aug 26, 2016 at 10:55:09AM -0400, John Harvey wrote: > So, it looks like strk did some magic that I cannot understand. I'm > thinking that we'll need that magic once more. I think all I did was committing the change proposed by git on updating. Did the same now with 15046, is everyone happy now ? --strk;