The stable MIUI 12 update has arrived for the Xiaomi Mi 10 Pro in Europe, a few days after an equivalent one for the Mi 10 arrived. Xiaomi has also begun upgrading the Redmi 8 and Redmi 8A to Android 10 globally.
https://www.notebookcheck.net/Stable-MIUI-12-lands-on-the-Xiaomi-Mi-10-Pro-in-Europe-as-Android-10-upgrade-for-the-Redmi-8-and-Redmi-8A-begins-globally.484143.0.html