2013/10/28 Olav Vitters <[email protected]> > 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) >
Good catch, forgot about it being case insensitive by default, will fix it everywhere in a bit. -- Cheers, Andrea Debian Developer, Fedora / EPEL packager, GNOME Sysadmin, GNOME Foundation Membership & Elections Committee Chairman Homepage: http://www.gnome.org/~av
_______________________________________________ gnome-infrastructure mailing list [email protected] https://mail.gnome.org/mailman/listinfo/gnome-infrastructure
