Merge proposals dependent on lp:gnome-mines

lp:gnome-mines has no merge proposals.