Xiaomi has started issuing the Android 10 update to some Redmi Note 7 Pro handsets in India. The update is based on MIUI 11 rather than MIUI 12 and contains the July security patch. The rollout of MIUI 12 has been expanded for the Mi Note 10 and Redmi Note 8 Pro, though.
https://www.notebookcheck.net/Xiaomi-rolls-out-Android-10-to-the-Redmi-Note-7-Pro-in-India-as-Mi-Note-10-and-Redmi-Note-8-Pro-receive-new-MIUI-12-upgrades.485157.0.html