Hola fededanifer, aquí te paso el link
https://xiaomi.eu/community/threads/7-9-7-8.41441
Este link te lleva a la rom de xiaomi.eu
Desde donde te dice que nuestro redmi pro si actualizara a miui 9
Un saludo
Enviado desde mi Redmi Pro mediante Tapatalk