Don't have Telegram yet? Try it now!
https://pulldroid.com/2019/05/11/xiaomi-libera-la-actualizacion-oficial-a-android-9-para-los-redmi-note-5/
Xiaomi libera la actualizaciĆ³n oficial a Android 9 para los Redmi Note 5