On Monday, August 26, 2024 at 9:55:38 PM UTC-7 Kwankyu Lee wrote: That is an encouraging news.
To speed up the process, we have to pass https://github.com/sagemath/sage/pull/37900 https://github.com/sagemath/sage/pull/37901 Actually, the next step is to merge https://github.com/sagemath/sage/pull/36380 (Demote brial (= polybori) from standard to optional, add distribution sagemath-brial, enlarge sagemath-objects, sagemath-categories <https://github.com/sagemath/sage/pull/36380>). This PR is yet another one that went into "disputed" status. All, please vote to get this important step unstuck. -- 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/6ff0f6f8-8075-49fa-a2d1-6fc262456226n%40googlegroups.com.