Per the upstream comment, the fault would be in the extension
'EasyScreenCast', so the status for gnome-shell itself is Invalid.
** Changed in: gnome-shell (Ubuntu)
Status: Incomplete => Invalid
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is
** Tags added: artful
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1341351
Title:
gnome-shell-extension-prefs crashed with signal 5 in
g_settings_bind_with_mapping()
To manage notifications
Thank you for reporting this bug to Ubuntu.
Ubuntu 14.10 (utopic) reached end-of-life on July 23, 2015.
See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases
We appreciate that this bug may be old and you might not be interested
in discussing it any more.
** Information type changed from Private to Public
** Bug watch added: GNOME Bug Tracker #733134
https://bugzilla.gnome.org/show_bug.cgi?id=733134
** Also affects: gnome-shell via
https://bugzilla.gnome.org/show_bug.cgi?id=733134
Importance: Unknown
Status: Unknown
--
You
** Changed in: gnome-shell
Importance: Unknown = Critical
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1341351
Title:
gnome-shell-extension-prefs crashed with signal 5 in
