Xiaomi Redmi Note 7 Pro gettting MIUI 11 update based on Android 10
The Redmi Note 7 Pro received the latest MIUI 11 about six months ago and today the phone got an update for its underlying OS so it's now running Android 10.
The changelog doesn't say much about the update except that there are some stability improvements and that May's security patch is included.
The patch weighs around 2.1GB and is seeding to Chinese units right now. The global rollout should follow in a couple of weeks if normal practices are maintained.
Gloss