See the comment <https://github.com/sagemath/sage/pull/36213#issuecomment-1722731711> in #36213 <https://github.com/sagemath/sage/pull/36213>.
Kwankyu Lee schrieb am Montag, 18. September 2023 um 03:03:26 UTC+2: > For a case where it's not done cleanly, see > > https://github.com/sagemath/sage/pull/36020#issuecomment-1722629380 > -- 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/05188078-f5a4-4605-8059-516879500093n%40googlegroups.com.
