The stable MIUI 12 update has landed for the global version of the Xiaomi Mi 9. The update follows equivalent OS upgrades for the Chinese and EU editions of the device.
https://www.notebookcheck.net/Stable-MIUI-12-update-arrives-for-the-global-edition-of-the-Xiaomi-Mi-9.478794.0.html