昨年の11月にLinux Mint 12のGNOME 3版はすでにリリースされていましたが、 なんだかんだでアップグレードしていませんでした。 というのも、Linux Mintも使い始めたばかりでしたし、アップグレードの必要性も感じませんでしたし、 何より他のことに追われて…