You have been subscribed to a public bug:
All extensions are greyed out after update in 17.10 and custom
extensions don't work (disabled). Screenshot attached.
** Affects: gnome-shell (Ubuntu)
Importance: Undecided
Status: New
--
Extensions greyed out after 20170920
https://bugs.launchpad.net/bugs/1718400
You received this bug notification because you are a member of Ubuntu Desktop
Bugs, which is subscribed to gnome-shell in Ubuntu.
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
