To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq1_LGTG9LO%2BvD6uzX2ni2SOKxUbqbBy2693TC1C9Tr1KQ%40mail.gmail.com.
Many thanks to all who are keeping our project infrastructure going!