Thanks for the reply. This sounds somewhat inconclusive, though it does
sound like things are not "badly" broken now.

I suggest we close this bug and then any additional issues found going
forward should get their own separate new bugs, by running:

  ubuntu-bug gnome-shell

** Changed in: gnome-shell (Ubuntu)
       Status: Incomplete => Invalid

You received this bug notification because you are a member of Ubuntu
Bugs, which is subscribed to Ubuntu.

  Gnome shell extensions are badly broken

To manage notifications about this bug go to:

ubuntu-bugs mailing list

Reply via email to