Xiaomi has issued fresh updates for the Redmi Note 7 and Redmi Note 7 Pro, possibly the last version of MIUI 11 that either device will receive. The wait for Android 10 goes on, though.
https://www.notebookcheck.net/Xiaomi-Redmi-Note-7-Redmi-Note-7-Pro-net-another-update-no-Android-10-in-sight.466194.0.html
Nope, just another reason to switch to the now officially supported lineage os lavender for note 7. First it's covid delays and now it mysteriously doesn't exist. This phone shipped android 9 and it looks like it might be stuck with android 9 where as other devices such as earlier notes will now be getting their updates to android 10 from Android 8 and older shipped versions.