Hey,
für alle die gerne MIUI 9 auf dem RedMI Pro haben wollen habe ich hier die China Dev ROM für Euch:
Natürlich hat diese ROM kein Deutsch und auch keinen Playstore, kann aber nachinstalliert werden (Zumindest den Playstore)
Viel Spaß beim installieren.