Trac is basically unusable at the moment again due to heavy search engine traffic - I will adjust robots.txt to try to get rid of the problem, but it will likely take a couple hours to take effect since each crawler should only read robots.txt every so often.
Cheers, Michael --~--~---------~--~----~------------~-------~--~----~ To post to this group, send email to sage-devel@googlegroups.com To unsubscribe from this group, send email to sage-devel-unsubscr...@googlegroups.com For more options, visit this group at http://groups.google.com/group/sage-devel URLs: http://www.sagemath.org -~----------~----~----~----~------~----~------~--~---
