Hello, following the recent major changes to our workflow, I will soon turn off the "patchbot server" machine. This will have the side effect of breaking the round "patchbot report" icons in the frozen trac website. To people running "patchbot clients", please stop your machines. You may want to turn them to runners in our new setting, but please do not ask me how. 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/096df874-34b6-4956-ab53-e249e4d0f658n%40googlegroups.com.
