In the last few days I received notification, update for lavender 12.5.7.
It was a surprise as I was sure 12.5.3 was the most up to date. I know well that it is an obsolete device.
But for me, it does its job well!
I have read some posts here, some problems that some have had in the installation .... or bugs.
However, I trusted the Xiaomi.eu Developers.
Some small errors can occur, but those highlighted in the posts seemed excessive to me.
So I installed the latest update, in the way I have always used:
Removed pin and fingerprint protection.
Uninstalled magisk (and any module before)
recovery update (without clear data)
clear cache and dalvik
I must say that everything works 100% !!
No bugs, no anomalies.
Thanks to Xiaomi.eu!
.....And Merry Christmas !