Einen Monat nach der Veröffentlichung von Android 17 liefert Google mit dem Juli-Update zahlreiche Fehlerbehebungen für Pixel-Geräte aus.