Ahora mismo se está actualizando!
Ayer hice el truco unas 5 veces por la mañana. Otras 3 veces, más o menos, por la tarde. Y ahora acabo de hacerlo unas 5 veces más y me ha saltado la actualización.
Mi Galaxy Nexus es libre comprado en tienda online. Eran de los que tenían las actualizaciones a cargo de Samsung (creo que se llamaban yakjuxw o algo así), pero hice el cambio a actualizaciones de Google (yakju).
Así que, firmo que me ha llegado a día 13 de julio, haciendo el truco (el de Ajustes/Aplicaciones/Todas/Marco de servicios de Google/Borrar datos... y luego Ajustes/Acerca del sistema/Actualizaciones automáticas/Comprobar si hay actualizaciones... digo esto de memoria, siento si algún nombre no es exactamente igual).
