MIUI 12 has arrived for the EU versions of the Xiaomi Redmi K30 Pro and Poco F2 Pro. While the inaugural MIUI 12 update is rolling out to handsets now, there have been multiple reports of the Redmi K20 and Mi 9T handsets failing to upgrade to MIUI 12.
https://www.notebookcheck.net/Stable-MIUI-12-lands-on-the-Xiaomi-Redmi-K30-Pro-and-Poco-F2-Pro-in-the-EU-as-confusion-reigns-for-global-versions-of-the-Mi-9T-and-Redmi-K20.481424.0.html