Efectivamente, no hay actualización de la ROM Global hasta la salida de Miui9. La única que se sigue actualizando al parecer es la Dev China.
También sería cuestión de revisar si la EU ha sacado actualizaciones.
Saludos.
Enviado desde mi Redmi 3 mediante Tapatalk