Use Google translate to read!! copy full link to Google browser
https://akket.com/android/73309-xiaomi-obnovila-absolamp no-vse-smartfony-do-miui-9-global-stable.html/amp
Fake news its not true. Thread to trash....
which means we will have MIUI 9 with Android 7?
NO! Redmi Pro never get Miui Global rom and never update to 7.0/8.0 etc
Now Redmi Pro have: Miui 8 Stable China and Miui 8 Developer China.
Miui 9 Developer China.
Get Miui 9 Stable China.
All Miui for Redmi Pro are on Android 6.0 and not get update to newer Android.
Redmi Pro dont have and dont get Miui Global Stable and Developer.
Same its with Mi4C,Mi5c etc.
Good news! But don't we already have MIUI9 here on xiaomi.eu? What's the difference?
Xiaomi.eu rom are not official Miui roms.
Xiaomi.eu is a custom rom with acceptation from Official Miui.
Xiaomi.eu base on China roms.
For Redmi Pro exist China Miui 8 (Stable and Developer) and China Miui 9 (Developer) China Miui 9 Stable soon.
Official Global Miui 8 and Global Miui 9 for Redmi Pro bot exist and They not release Global for this phone..
Source and proof from official miui.com
http://www.miui.com/download-317.html
Same its on International site Miui - en.miui.com
But on en.miui.com its mistake in describe, because 7.12.14 Developer China its Miui 9 not Miui 8
http://en.miui.com/download-304.html