Thanks Aaron ! Thomas Le 13/08/2018 à 05:42, Aaron M. Ucko a écrit : > Anyway, sponsored and pushed. (I merely added a formal changelog update > and a Debian release tag.)