On 22/11/17 19:20, Jean-Christophe DUBOIS wrote: > The reported error seems to be unrelated to the patch. > > There seems to be an issue with the build infrastructure. > > Looking at "history" in the mailing list this kind of (unrelated) issue > seems to happen from time to time. > > JC
Yes indeed, I agree that the failure is related to another patch and not this one. ATB, Mark.
