mutter: update to 3.12.1.
gnome-shell: update to 3.12.1.