On Wednesday 13 April 2016 19:56:23 Hannes Domani wrote: > fixes #16815 The (real) issue that this patch tries to fix does not seem related to that bug report. -- Rémi Denis-Courmont http://www.remlab.net/