Hello, it seems that the bots have disappeared. Both the buildbot (was top left) and the patchbot (top right).
The patchbot links are broken (used to be colored little round things). And http://patchbot.sagemath.org points to William's homepage. Can we we hope that the bots will be back soon ? Frédéric -- 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 post to this group, send email to sage-devel@googlegroups.com. Visit this group at http://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
