bump gnome-base/gnome-shell-3.12.0