Xiaomi has officially commenced the public rollout of the MIUI 12 stable update for a number of Redmi-branded smartphones. The first devices to receive the MIUI 12 update were the Redmi K30 Pro Zoom Edition and the Redmi K30 Pro. Smartphones in both the Redmi K30 and K20 lineups have been included in the public rollout.
https://www.notebookcheck.net/Redmi-MIUI-12-stable-update-commences-K30-Pro-Zoom-Edition-and-K30-Pro-lead-the-pack-as-the-software-is-pushed-to-the-K30-and-K20-lineups.477989.0.html