Zwei Wochen nach Linux Mint 16 RC1 ist jetzt die endgültige Version der beliebten Linux Distribution mit den Desktop-Umgebungen Cinnamon und Mate erschienen. Mit dem „Petra“ getauften Release löst sich Mint mit Cinnamon 2.0 einen Schritt weiter aus der Abhängigkeit von Gnome 3.
