Xiaomi is gearing to upgrade the global versions of the Redmi 9, Redmi Note 9S and Redmi Note 9 Pro to MIUI 12, according to a report. The OS upgrade will reputedly arrive from October 20, bringing the three devices into line with countless other Xiaomi smartphones.
https://www.notebookcheck.net/MIUI-12-for-the-global-versions-of-the-Xiaomi-Redmi-9-Redmi-Note-9S-and-Redmi-Note-9-Pro-is-on-the-horizon.497491.0.html
My Xiaomi Redmi 9 global version received miui 12.0.1 on 1/25/21, but no Android update, still. android 10.