Thanks, I've applied the workaround. My /var/crash is currently empty,
I'll follow your advice when the crash occurs again.

You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.

  gnome-shell crashes occasionally (libmutter)

To manage notifications about this bug go to:

desktop-bugs mailing list

Reply via email to