Bonjour Le 10/07/2020 à 11:28, Bernard Isambert a écrit :
Le 09/07/2020 à 23:17, l0f4r0@tuta.io a écrit :Bonjour, 9 juil. 2020 à 22:48 de bern@taranig.net:Le 09/07/2020 à 17:04, Jean-Marc a écrit :Ce que tu décris mérite peut-être un rapport de bug.Il va falloir que je fasse apt install reportbug.Déjà fait depuis octobre 2016 visiblement : https://bugs.debian.org/cgi-bin/bugreport.cgi?bug=839546Oui, en effet. Il m'avait échappé au milier des 276 "normal bugs; unclassified". Malheureusement, il n'y a pas de réponse. Du moment qu'on paut vivre avec, c'est pas grave.
Ajoute ta pierre à l'édifice et relance le bug en signalant ton problème. Si personne ne le fait cela ne risque pas de faire bouger le bug !
-- Daniel