> <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@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe or change subscription options: https://admin.fedoraproject.org/mailman/listinfo/users Guidelines: http://fedoraproject.org/wiki/Mailing_list_guidelines