Opera Mini も 9.80 へ

先週サーバ側の Opera Mini 4.2 がアップデートされたことによって、そちらの Opera も Opera 9.80 を名乗るようになった。

既に言われているように、レンダリングエンジンのバージョンは、末尾の Presto 以下で見て欲しい。公開中の Opera Mini 5 beta ではどうでしょう。