Hi: I have this doubt, once your gnome-shell extensions got included in the official repo, which is the process to update it ?, or I don't update it anymore and the gnome-shell-extensions maintainer takes care of that ?
I'm super noob to this process, so I'm asking. Thxs in advance -- Acta est fabula
_______________________________________________ gnome-shell-list mailing list [email protected] http://mail.gnome.org/mailman/listinfo/gnome-shell-list
