On Friday, September 27, 2024 at 2:41:21 PM UTC-7 Dima Pasechnik wrote: If this is the case then the brial related PR ought to come after the sagemath-objects and -categories stuff PR. (Or maybe more than one PR).
No, the PR has a suitable scope, and it has already been reviewed. -- 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/f2c11069-09ae-4dfb-a474-5dedb2ef0240n%40googlegroups.com.