On Mon, Jun 12, 2017 at 8:59 AM, Matthias Clasen <mclasen@xxxxxxxxxx>
wrote:
I think I'll disagree here. We've moved the extension installation to
gnome-software, and I don't think we want to offer multiple ways to do
it.
Fine by me, but then of course we need to get rid of
extensions.gnome.org, or at least the extension installation
functionality.
Michael
_______________________________________________
desktop mailing list -- desktop@xxxxxxxxxxxxxxxxxxxxxxx
To unsubscribe send an email to desktop-leave@xxxxxxxxxxxxxxxxxxxxxxx
