The rom for Redmi Pro just came out a little bit. I downloaded it, but I have not installed it yet.
https://sourceforge.net/projects/xi...files/xiaomi.eu/MIUI-WEEKLY-RELEASES/7.11.30/
https://sourceforge.net/projects/xi...files/xiaomi.eu/MIUI-WEEKLY-RELEASES/7.11.30/