Hello, On Tue, 10 Oct 2017, at 02:37, Thomas Guillem wrote: > This set of patches fix the deadlock described in #16100 I'm not too much a fan of this series, tbh. -- Jean-Baptiste Kempf - President +33 672 704 734