On Sun, Dec 25, 2022 at 11:55 AM Charles Plessy <ple...@debian.org> wrote: > > Le Sun, Dec 25, 2022 at 10:58:12AM +0200, Martin-Éric Racine a écrit : > > > > Where? What was the explanation? > > https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=886389#45
That doesn't say it's not a bug. Martin-Éric