Xiaomi redmi note 13 5g date de sortie July 8, 2019 16 32 64 128 Xiaomi redmi note 13 pro 5g date de sortie Xiaomi redmi note 13 pro plus 5g date de sortie Xiaomi redmi note 10 5g update miui 13 Redmi note 10 5g obnovlenie Redmi note 10 5g обновление Redmi note 10 13.5 update Redmi note 10 5g miui 13