Ubuntu
gnome-shell package

  1. Bug #1045914
  2. Comment #36

Comment 36 for bug 1045914

Revision history for this message
Jeremy Bícha (jbicha) wrote :

Hi, I'm really sorry about that rather serious bug in the GNOME3 PPA. It is fixed now so you should be able to check for updates and apply them.

I opened https://bugzilla.gnome.org/689027 to track the underlying theme and segfaulting problem.