Xiaomi has extended the rollout of MIUI 12 for the Redmi K20 Pro, Mi 9T Pro and Mi 9 following the release of the OS update in China. MIUI 12 is now available for the global versions of the Redmi K20 Pro and Mi 9T Pro, along with the European variant of the Mi 9.
https://www.notebookcheck.net/Global-stable-MIUI-12-update-lands-for-the-Xiaomi-Redmi-K20-Pro-and-Mi-9T-Pro-MIUI-12-update-for-the-Mi-9-arrives-in-Europe-too.477202.0.html