Si, para la versión europea está la 12.5.4, y para la global pone que salió la 12.5.8 (global beta). Creo que en la versión global no ha llegado a salir todavía para todos los terminales global está actualización... Luego también se lee que dentro de poco llegará esa versión de miui llamada enhanced edition, pero a saber.. saludos
