Am about to package this: gnome-shell-extension-updater https://github.com/eonpatapon/gnome-shell-extension-updater
Just wondering in case if somebody else is working on it
-- devel mailing list [email protected] https://admin.fedoraproject.org/mailman/listinfo/devel
