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