Rien de révolutionnaire puisqu'il s'agit d'une release de maintenance, mais l'annonce liste pas mal de corrections apportées depuis la sortie de la 10.0. Notamment concernant GRUB qui réglerait peut-être le souci que j'ai eu… J'ai voulu tester ça il y a quelques semaines et après l’enthousiasme rencontré pendant le processus d'install, ce fut la douche froide du redémarrage  qui ne se terminera jamais…