> <http://lists.fedoraproject.org/pipermail/devel-announce/2011-May/000784.html> > is perhaps the relevant notice.
Thanks, so it looks like it is under control. -- users mailing list users@lists.fedoraproject.org To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines