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=839546
Oui, 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.
Merci.
Bonne soirée l0f4r0
-- Bernard. 25 ans d'utilisation de Debian. Comme le temps passe...