This bug was fixed in the package gnome-shell - 3.2.2.1-0ubuntu1
---------------
gnome-shell (3.2.2.1-0ubuntu1) precise; urgency=low
[ Jeremy Bicha ]
* New upstream release
- Fix broken gnome-shell-extension-tool (LP: #853882)
- Fixes lots of crashes and some memory leaks
- extensions.gnome.org should now work with Webkit-based browsers
* Dropped upstream patches:
- 05-NetworkMenu-don-t-query-DBus-properties-of-removed-o.patch
- 06-NetworkMenu-fix-regression-in-access-point-removed.patch
[ Timo Kluck ]
* debian/patches/10-bluetooth-fix-connection-from-gs-menu.patch:
- Fix bluetooth panel switch moving independently from actual
connection status (LP: #918208)
-- Jeremy Bicha <[email protected]> Mon, 23 Jan 2012 12:03:42 -0500
** Changed in: gnome-shell (Ubuntu)
Status: Triaged => Fix Released
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/853882
Title:
gnome-shell-extension-tool crashed with NameError in __main__: name
'extensionjs_path' is not defined
To manage notifications about this bug go to:
https://bugs.launchpad.net/gnome-shell/+bug/853882/+subscriptions
--
ubuntu-bugs mailing list
[email protected]
https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
