Le 10/07/2018 à 15:41, Adrian Wiedemann a écrit : > any chance this fix will be included in future stretch releases? Hi Adam, This should be fixed in stretch-backports, the version 9.2.24 was uploaded in May. Emmanuel Bourg