On Monday, May 16, 2022 at 1:35:37 AM UTC-7 hohoa...@gmail.com wrote:

> [...]  $SAGE_ROOT/sage [...]
>

The positively reviewed tickets https://trac.sagemath.org/ticket/33786 
and https://trac.sagemath.org/ticket/33787 make changes to this script. You 
may find these changes and the discussion on the ticket interesting.

https://trac.sagemath.org/ticket/33852 makes other changes related to the 
script. It needs review.

-- 
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/ec09cac9-4037-477b-968c-25f2ded19d54n%40googlegroups.com.

Reply via email to