Jon, if I understand you correctly, you're talking about this issue: https://bugzilla.gnome.org/show_bug.cgi?id=776460
I think we agree that it ought to be possible in Ubuntu GNOME 17.04 to install any extension from extensions.gnome.org even those not marked as compatible. Of course, some extensions really will not work because they do actually need to be updated. ** Bug watch added: GNOME Bug Tracker #776460 https://bugzilla.gnome.org/show_bug.cgi?id=776460 -- You received this bug notification because you are a member of Ubuntu Bugs, which is subscribed to Ubuntu. https://bugs.launchpad.net/bugs/1680593 Title: gnome shell integration does not work in Ubuntu Gnome 17.04 beta 2 To manage notifications about this bug go to: https://bugs.launchpad.net/ubuntu/+source/ubuntu-gnome-meta/+bug/1680593/+subscriptions -- ubuntu-bugs mailing list [email protected] https://lists.ubuntu.com/mailman/listinfo/ubuntu-bugs
