gnome-shell (3.4.1-0ubuntu2) precise-proposed; urgency=low
* 10-make-NetworkManager-optional.patch:
- Disabled, it doesn't work right and isn't used for Ubuntu
architectures anyway.
* Refreshed patches
-- Jeremy Bicha <email address hidden> Wed, 18 Apr 2012 00:34:57 -0400