Le sam. 4 juil. 2020 à 11:27, Andreas Tille <tille@debian.org> a écrit : > > While I think your changes are pretty sensible it does not solve the > problem. > :-( I will investigate this again later today Dylan