Thanks Florian, I updated the description of my plugin to point to the new one. I'm still releasing a 3.8 compatible version as the last one before development ceases. You should add an area for the official extensions on the extension site.
Gabriel On Tue, Oct 29, 2013 at 10:11 AM, Gabriel Rossetti <rossetti.gabr...@gmail.com> wrote: > Where is this extension and how to enable it? https://extensions.gnome.org/extension/600/launch-new-instance/
_______________________________________________ gnome-shell-list mailing list gnome-shell-list@gnome.org https://mail.gnome.org/mailman/listinfo/gnome-shell-list
