Xiaomi is slowly continuing with the MIUI 12 rollout for the Snapdragon 720G-powered arm of the Redmi Note 9 family. The latest devices to receive MIUI 12 are the European variant of the Redmi Note 9S and the Indonesian model of the Redmi Note 9 Pro, keeping with reports from a week ago.
https://www.notebookcheck.net/MIUI-12-finally-lands-on-the-Redmi-Note-9S-in-Europe-as-Xiaomi-also-expands-rollout-for-the-Redmi-Note-9-Pro.499170.0.html