it means the update for Redmi 4 will not roll out in November.