This bug was fixed in the package gnome-shell - 3.6.3.1-0ubuntu6
--------------- gnome-shell (3.6.3.1-0ubuntu6) raring; urgency=low
* debian/patches: - git_fix_theme_node_crash.patch, git_add_stylesheets_signal.patch Fixes crash that occurs when extensions have custom stylesheets (LP: #1064022) -- Tim Lunn <email address hidden> Mon, 22 Apr 2013 08:38:14 +1000
This bug was fixed in the package gnome-shell - 3.6.3.1-0ubuntu6
---------------
gnome-shell (3.6.3.1-0ubuntu6) raring; urgency=low
* debian/patches: theme_node_ crash.patch, git_add_ stylesheets_ signal. patch
stylesheets (LP: #1064022)
- git_fix_
Fixes crash that occurs when extensions have custom
-- Tim Lunn <email address hidden> Mon, 22 Apr 2013 08:38:14 +1000