I know this is the last update for Mi 10 but will there be another run on 13.5? I read somewhere that Mi 10 is included in the list of devices that will get 13.5.
He UPDATED from 12.5 which means its not from weekly build so update rom.bat will work just fine. Format is required if you are currently on weekly build going to stable.