Opera Miniがv5.1にアップデート

Opera Mini 5の正式版から初めてのアップデート。バージョンは5.1.21051に。 最近は専らOpera Mobileばかり使っているのでOpera Miniの出番は少ないんだけど、一応アップデートしておいた。今回も日本語版も提供されている。 ダウンロードはm.opera.comに端末からアクセス。古いバージョンがインストールされたままだと上手くアップデートできなかったので、インストールするときは古いバージョンのアンインストールが必要だった。