gnome-shell: version bump to 3.12.2