Tempi di uscita per Android 10 sui Samsung Galaxy: bollettino ed elenco aggiornato a dicembre