After sending out the MIUI 12.5 update to Global ROM units of the Redmi Note 10, Xiaomi is now expanding the rollout to include the European model of the phone. The OTA delivers the July security patch, but Xiaomi's vaunted Second Space feature remains absent.
https://www.notebookcheck.net/MIUI-12-5-update-now-rolling-out-to-the-Redmi-Note-10-in-Europe-sans-Second-Space.556220.0.html