Buongiorno, a marzo ho acquistato un redmi 4 pro su grossoshop ed ora vorrei aggiornarlo alla miui 9, il problema che ho riscontrato è che quando sono andato a controllare il modello nelle impostazioni del telefono mi segna che è un redmi 4 anche se tutte le specifiche tecniche sono quelle del pro. Vorrei sapere se è solo un problema del nominativo e quindi scaricare l'aggiornamento del redmi4 pro o ci sia qualche altro problema. Grazie