mutter: update to 3.12.2.
gnome-shell: update to 3.12.2.
gnome-shell-extensions: update to 3.12.2.