Xiaomi will not be revealing MIUI 13 in June, a representative from the company has claimed. While the company has not denied the volume of devices that will supposedly be eligible for MIUI 13, it asserts that the OSes rumoured launch date is a fabrication.
https://www.notebookcheck.net/Xiaomi-rubbishes-MIUI-13-rumoured-release-date.539280.0.html
I am sorry to inform you that this is not correct. The Chinese 13 is number 4... https://www.thechinesezodiac.org/astrology/lucky-and-unlucky-chinese-numbers/