il rilascio per il redmi note 9 pro é iniziato il 20 ottobre ma ad oggi non ho ancora ricevuto l'aggiornamento