Finally, Xiaomi is sending out the MIUI 12.5 update to its current cash cow, the Redmi Note 10. At the moment, the update is exclusive to Global ROM models of the mid-range phone, but is already in the stable stage, so will not take long to get to all owners of that model.
https://www.notebookcheck.net/MIUI-12-5-Global-update-lands-on-the-Redmi-Note-10-with-the-July-security-patch.553314.0.html