On Wednesday, April 26, 2023 at 12:14:26 PM UTC-7 Dima Pasechnik wrote: This discussion happened 2 years ago
That's correct, and you have not brought forward any new points. -- 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/27c5cb9d-76da-48d8-a7e9-defa8453a6cen%40googlegroups.com.
