Trots det starka internationella intresset för det senaste Redmi-flaggskeppet, Note 7 Pro, verkar det som om varumärket för ...