Le 04/09/2020 à 00:58, Chris Lamb a écrit : > Chris Lamb wrote: > >> [..] > > Friendly ping on this? > > > Regards, Hi, I think we already fix that with https://bugs.debian.org/935790 Duplication ? Cheers, Xavier