Buenas:

Tras leer esta noticia en el portal de HTCMania: --> https://www.htcmania.com/showthread.php?t=1445951 me dá por pinchar sobre el enlace que corresponde al modelo Redmi Note 5/Pro, y me encuentro con esto: ---> http://bigota.d.miui.com/V10.0.2.0.O...ece0c8_8.1.zip

Raro que nadie haya dicho nada y/o si ha recibido dicho update.

SalU2.