Merge proposals dependent on lp:~gnome3-team/gnome-shell/ubuntu

lp:~gnome3-team/gnome-shell/ubuntu has no merge proposals.