Merge proposals dependent on lp:ubuntu/vivid/gnome-shell-extensions

lp:ubuntu/vivid/gnome-shell-extensions has no merge proposals.