On Friday, October 7, 2022 at 7:05:38 AM UTC+9 John H Palmieri wrote:
> Dima, presumably you're not talking about me, although I proposed that "we > start a vote around October 1". > I guess he means: https://trac.sagemath.org/ticket/33725#comment:26 -- 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 [email protected]. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/be5e2daa-6e2d-4437-bc3a-a8bf38f5a5c6n%40googlegroups.com.
