Package: gnome-shell Version: 3.14.4-1~deb8u1 Severity: important The window manager crashed and restarted. The X server kept running and applications appear to be working normally after the restart.
At the moment it crashed, I was moving the mouse to the upper left corner where the Activities control is situated. I found the following in the log with journalctl: kernel: gnome-shell[2658]: segfault at 20 ip 00007fed18633941 sp 00007ffccc4817f0 error 4 in libgjs.so.0.0.0[7fed18602000+87000] polkitd(authority=local)[1934]: Unregistered Authentication Agent for unix-session:1 (system bus name :1.60, object path /org/freedesktop/PolicyKit1/AuthenticationAgent, locale en_IE.UTF-8) (disconnected from bus) gnome-session[2487]: WARNING: Application 'gnome-shell.desktop' killed by signal 11 gnome-session[2487]: gnome-session[2487]: WARNING: Application 'gnome-shell.desktop' killed by signal 11
