There are some Xiaomi smartphones that are up to still not updated to MIUI 12, и at them including Redmi 9, Redmi Note 9S and Redmi Note 9 Pro. It is now known when these models will receive the firmware.
This is about the global market. For example, the Redmi Note 9 Pro has already received the MIUI 12 update, but it is for the Indian market and smartphone versions for India and the global market is different. Also Redmi 9 received a stable
AND though Xiaomi is not made no official statements about update, MIUI 12 release date confirmed in the result of a conversation between the user and support representative for Xiaomi UK. Here they promised that the rollout of the update for Redmi 9, Redmi Note 9S and Redmi Note 9 Pro will launch on October 20.
Also, the support representative clearly stated that the update for Redmi 9 will start for Global, Indian, European, Russian and other units in October 2020. AND here Android 11 will have to wait until February 2021.
Source: PiunikaWeb 1, 2