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
