gnome-shell: update to 3.10.2.1.