It appears that two bugs have been fixed in GNOME Shell 3.18.3, and according to one of the bug reports, the GNOME Shell browser plugin crashed WebKit on the extensions.gnome.org website because the plugin used GLib types registered statically.
It appears that two bugs have been fixed in GNOME Shell 3.18.3, and according to one of the bug reports, the GNOME Shell browser plugin crashed WebKit on the extensions.gnome.org website because the plugin used GLib types registered statically.