Linux Mint 7.1→7.2

　自宅の自分のメインPCのメインOSのLinux Mintを7.2にアップデートしました。
　やることはGUIのアップデートマネージャで7.2へのアップデートをしただけ。20分程度で完了。
　
　根っこはubuntu14.04LTSのなのでガワだけアップデートです。cinnamonが2.6になりました。