Linux Mint 17 を 17.1 にアップグレードしました。(2014/12/04)

昨日、 Linux Mint 17 を 17.1 に、How to upgrade from Linux Mint 17 to 17.1に書かれた、アップデート・マネージャーでの方法で、アップグレードしました。
特に17で問題なく動いているのならする必要もなかったようですが、17.1を試してみたかった次第です。アップグレードは特に問題ありませんでした。