Xiaomi has seeded another update for the global version of the Redmi 7. The latest update for the handset brings Android 10, but MIUI 12 is nowhere to be seen.
https://www.notebookcheck.net/The-Xiaomi-Redmi-7-receives-global-Android-10-update-but-misses-out-on-MIUI-12.512070.0.html