結局バージョンアップしました。
見送っていました7.11.2のeuRomですが、バージョンアップに踏み切りました。不具合が多そうでしたが、不思議なことに、V2という表示が増えていました。
変更のログですが、下の方に赤色で追記されています。
ギャラリーのクラッシュを修正?
何はともあれ、あらためてアップロードされたのだなと判断したのでアップデートすることにしました。
なんの不具合もなく、あっさりと完了しました。
ただし、再起動時は少し時間がかかりました。以前もそうでしたが、インストール後の再起動に時間がかかります。ファイルの更新と構築に時間がかかるのでしょうか。
あまり心臓によろしくはないです。
使用感について
あまりさわれていませんが、今のところ目立った不具合はありません。
動作が快適になったとか、もっさりになったという感覚もありません。
ただ、設定画面の様子が少し変わったんじゃないかなと思っています。劇的な変化ではありませんので気のせいかもしれませんが。。
Xiaomi mi5 でしか試していませんが、更新しても良いと思います。