I was thing, there must be a filter system for extensions.gnome.orgwebsite, because now it's kind of hard to find new and updated extensions in the list, so this could be a nice future.
-- David Gómez
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
