2020-06-21 Mi10のMIUI.eu 12.0.1.0 入れてみたんだが、なんか起動しねー(笑 特に手順間違えたとかないはずなんだがなあ。 あんまり長時間格闘するのも嫌なので、また11に戻しちゃいました。 またしばらくしたら試してみるかな。