Thanks for maintaining this critical project infrastructure! The new server appears to work well.
On Friday, August 26, 2022 at 11:30:20 PM UTC-7 Frédéric Chapoton wrote: > Dear Sage developers, > > in order to update the underlying machine, the *trac web server will be > turned off this sunday*, from 7.00 (Paris time) to 23:00 (Paris time ; > https://time.is/Paris). > > PLEASE take a short break and resume using trac next week! > > Hopefully, the update will go smoothly and take less time than scheduled. > > 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 view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/62123aa8-6c7a-445d-a5c7-14b312f5cc58n%40googlegroups.com.