Intitulé de "Gestionnaire de pilotes propriétaires"

[Séverin Lemaignan]

Salut,

Je suis en train de relire restricted-manager, qui est le gestionnaire
de pilotes non libre.

Une chose m'inquiète : dans Intrepid, cet outil apparait sous le nom
mal choisi de "Pilotes de périphériques" dans le menu Administration.
Or cette chaine n'apparait pas dans le paquet. Qqu'un sait où ça se
trouve, pour le mettre à jour (si ça n'a pas déjà été fait) ?

Bonne journée,
Séverin