Xiaomi has issued MIUI 12.5 Enhanced Edition to the Redmi 9 and Redmi Note 9 for global Mi Pilot testers. Both updates also contain the October 2021 Android security patch, with V12.5.2.0.RJOMIXM for the Redmi Note 9 bringing over two-dozen bug fixes and optimisations, too.
https://www.notebookcheck.net/The-Xiaomi-Redmi-9-and-Redmi-Note-9-receive-their-first-tastes-of-MIUI-12-5-Enhanced-Edition-globally.574713.0.html