[Expired for gnome-shell (Ubuntu) because there has been no activity for
60 days.]
** Changed in: gnome-shell (Ubuntu)
Status: Incomplete => Expired
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
Thank you for reporting this bug to Ubuntu.
Ubuntu 17.10 (artful) reached end-of-life on July 19, 2018.
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.
Sounds like dash-to-dock is causing this crash. Looking on
errors.ubuntu.com the same extension is causing a couple of other
similar crashes.
** Summary changed:
- gnome-shell crashed with signal 5 in g_settings_schema_get_value
(..."opaque-background")
+ gnome-shell crashed with signal 5 in