On Wednesday, August 31, 2022 at 6:41:19 PM UTC+9 Frédéric Chapoton wrote:
> just be patient and spend your day doing something else, please It is a day to think about how precious our trac is. Just be careful when you touch its soft database. -- 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/cba0380e-c379-4b96-adce-43ea88754dccn%40googlegroups.com.