Trac should be working now. Last night I went to explore things there in preparation to the GitHub move, and it turned out I knocked it down. It was easy to fix, done an hour ago. Apologies to everyone affected, and please post here if it's down again before Monday 13:00 UTC.
Dima -- You received this message because you are subscribed to the Google Groups "sage-devel" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-devel+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq1aWM3jd%2BJMnW4x-o3S2U7T2zRAKQPAXSRA9c6QpCLkWA%40mail.gmail.com.
