Nesten to måneder etter det første ryktet om det neste Redmi-flaggskipet, Xiaomi-undermerket som ble uavhengig sist ...