On Monday, July 11, 2022 at 8:11:38 AM UTC-7 Dima Pasechnik wrote: > that's a bug in ./bootstrap then. >
Yes, see https://trac.sagemath.org/ticket/34152 for a proposed fix -- You received this message because you are subscribed to the Google Groups "sage-release" group. To unsubscribe from this group and stop receiving emails from it, send an email to sage-release+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-release/4deaedc4-d11b-4e92-9cb8-0482dca56a5cn%40googlegroups.com.