Mise à jour de la base de données, veuillez patienter...

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)