*** This bug is a duplicate of bug 1790996 ***
https://bugs.launchpad.net/bugs/1790996
Thank you for taking the time to report this bug and helping to make
Ubuntu better. This particular bug has already been reported and is a
duplicate of bug 1790996, so it is being marked as such. Any further
discussion regarding the bug should occur in the other report. Feel free
to continue to report any other bugs you may find.
** This bug has been marked a duplicate of bug 1790996
JS ERROR: ImportError: No JS module 'desktop' found in search path#012
--
You received this bug notification because you are a member of Ubuntu
Desktop Bugs, which is subscribed to gnome-shell in Ubuntu.
https://bugs.launchpad.net/bugs/1791640
Title:
gnome-shell-extension-prefs
To manage notifications about this bug go to:
https://bugs.launchpad.net/ubuntu/+source/gnome-shell/+bug/1791640/+subscriptions
--
desktop-bugs mailing list
desktop-bugs@lists.ubuntu.com
https://lists.ubuntu.com/mailman/listinfo/desktop-bugs
