Thanks for your attention, and no objection :-)
Here is the PR implementing the updated
policy: https://github.com/sagemath/sage/pull/38273 in "needs review".
Kwankyu
--
You received this message because you are subscribed to the Google Groups
"sage-devel" group.
To unsubscribe from this gro
Here is the PR implementing the proposal:
https://github.com/sagemath/sage/pull/38273
On Friday, June 21, 2024 at 12:49:37 PM UTC+9 Kwankyu Lee wrote:
> Hi,
>
> From the discussion in
>
> https://github.com/sagemath/sage/issues/38211
>
> motivated by the issue raised in
>
> https://g
