Cuando llegara el miui 12.5 al Xiaomi redmi 9c