MIUI V12.5.5RJWMIXM have been released yesterday for Redmi Note 9S, we would be seeing xiaomi.eu soon?