Tiens, Mint 19.1 est sortie. Il faudra que j'aille jeter un coup d'oeil.
EDIT: Procédure de migration 19==>19.1 : https://blog.linuxmint.com/?p=3715
(Permalink)
Ce site n'est pas le site officiel.
C'est un blog automatisé qui réplique les articles automatiquement
Source: https://blog.linuxmint.com/?p=3670