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

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