On Wednesday, August 21, 2024 at 3:35:57 PM UTC-7 Nils Bruin wrote: I don't think *you* would need to maintain that set. It would just be something to maintained.
:) -- 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/cc0a9ad7-6549-433c-a923-3815bf57b2a7n%40googlegroups.com.