THank you for your bug report, that's an issue with the GNOME3 ppa, not Ubuntu, reassigning to ubuntu-gnome
THank you for your bug report, that's an issue with the GNOME3 ppa, not Ubuntu, reassigning to ubuntu-gnome