On Mon, Nov 27, 2017 at 09:44:29 +0100, Ludovic Courtès wrote: > Mike Gerwitz skribis: >> Thanks for doing the research. I'll do whatever everyone thinks is >> best. > > Unless the fix of that test is big, I’d be in favor of including the > patch for that test in our repo. I was able to reproduce the failure when rebuilding. Updated patch attached.