The Android 10 update has finally arrived for the Redmi Note 7 Pro. The update is surprisingly based on MIUI 11, doubles up as the May security patch, and weighs 2.1 GB. It also carries the build number "V11.0.1.0.QFHCNXM".
https://www.notebookcheck.net/Stable-Android-10-update-finally-arrives-for-the-Redmi-Note-7-Pro.469444.0.html