Le 09/07/2020 à 23:17, [email protected] a écrit :
Bonjour,
9 juil. 2020 à 22:48 de [email protected]:
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...
