Due to maintenance of our infrastructure, the patchbot server is not available today. This will impact all trac pages (trying to load the patchbot icons).
And of course, the patchbot clients will not be able to send their reports to the patchbot server. This should come back at 19 (French local hour) today. Frederic -- 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 [email protected]. To post to this group, send email to [email protected]. Visit this group at https://groups.google.com/group/sage-devel. For more options, visit https://groups.google.com/d/optout.
