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.