the final and official stable was launched by xiaomi (V12.0.2.0.PEIMIXM. check in "
https://xiaomifirmwareupdater.com/firmware/whyred/")
but EU devs using the chinese rom to make EU roms, and the official chinese rom wasn't launched
ps: i read this last global rom (V12.0.2.0.PEIMIXM) is with issues with bootloops so, if you try run this rom, do it at your own risk
c.mi.com
ps2: i don't understand why the EU devs made a EU rom to Redmi Note 6 Pro (TULIP) using the global rom, but not to the RN5