After sending out the MIUI 12.5 update to the Redmi Note 10, Xiaomi is now doing the same for owners of the Redmi Note 9 and Redmi 9. New MIUI 12.5 updates are rolling out to the Global ROM models of those two phones, with July security patches in tow.
https://www.notebookcheck.net/MIUI-12-5-update-rollout-begins-for-Redmi-Note-9-and-Redmi-9-Global-ROM-units.553597.0.html