Apparently everyone was banned @ gnome-shell-list. I assume this was done by mistake, so removed that. This via a regexp ^[A-Z].*$
(which matches everything, by default case insensitive search IIRC) -- Regards, Olav _______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
