Bug Description

Including gnome-shell 3.4 in the Ubuntu 12.04 repositories would be really nice since it's what GNOME & many users expect; it supports the GNOME 3.4 appmenu; and it's one less thing to have to maintain in the GNOME 3 PPA.