Bonjour
Le 10/07/2020 à 11:28, Bernard Isambert a écrit :
Le 09/07/2020 à 23:17, l0f...@tuta.io a écrit :
Bonjour,
9 juil. 2020 à 22:48 de b...@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.
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
