Pues eso parece, Comienza el roll-out de los primeros Xiaomi en recibir MIUI 10 en versión Global estable! Aquí la noticia;
http://en.miui.com/thread-3823354-1-1.html
Creo que será cuestión de pocos días que empecemos a recibirla también en los Redmi 5 plus. Saludos a tod@s!