Thank you for reporting this bug to Ubuntu. I apologize that we are not
always to respond to bug reports promptly. Ubuntu 13.10 reached End of
Life in 2014. See this document for currently supported Ubuntu releases:
https://wiki.ubuntu.com/Releases
Please upgrade to Ubuntu 16.04 LTS and re-test.
Status changed to 'Confirmed' because the bug affects multiple users.
** Changed in: gnome-shell (Ubuntu)
Status: New = Confirmed
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1206349
Title:
** Information type changed from Private to Public
--
You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.
https://bugs.launchpad.net/bugs/1206349
Title:
gnome-shell crashed with signal 7 in
_st_theme_get_matched_properties()
To manage