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

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