The dash to panel extension is not present on my system (Ubuntu GNOME), so the bug is surely not specific to that, as seen in the linked GNOME Bugzilla report.
Here are lines from my syslog from various crashes (not adding any extra debug information, which has been provided in previous comments). gnome-shell[22316]: segfault at 800000007 ip 00007f096491fcdf sp 00007ffe327b14b8 error 4 in libgobject-2.0.so.0.5400.1[7f09648ea000+52000] gnome-shell[27132] general protection ip:7f120be3acdf sp:7ffc2b89df68 error:0 in libgobject-2.0.so.0.5400.1[7f120be05000+52000] gnome-shell[2677] general protection ip:7fa655009cdf sp:7ffd066d4dd8 error:0 in libgobject-2.0.so.0.5400.1[7fa654fd4000+52000] -- You received this bug notification because you are a member of Ubuntu Desktop Bugs, which is subscribed to gnome-shell in Ubuntu. https://bugs.launchpad.net/bugs/1714989 Title: gnome-shell crashed with SIGSEGV in g_type_check_instance_cast() from st_label_set_text() (dash-to-panel specific?) To manage notifications about this bug go to: https://bugs.launchpad.net/gnome-shell/+bug/1714989/+subscriptions -- desktop-bugs mailing list desktop-bugs@lists.ubuntu.com https://lists.ubuntu.com/mailman/listinfo/desktop-bugs