Ok, I see, thank you. I now understand the link with the title of that ticket which I have seen earlier.
On Friday, January 14, 2022 at 3:56:08 PM UTC+1 egourg...@gmail.com wrote: > This is fixed in Sage 9.5.rc1, cf. https://trac.sagemath.org/ticket/33130 > > Eric. > Le vendredi 14 janvier 2022 à 15:44:15 UTC+1, Sébastien Labbé a écrit : > >> With 9.5.rc0, I modify a file in the sage library, then >> >> $ sage -b >> Nothing to (re)build / all up-to-date. >> >> does nothing. This is a new behavior. But it seems my modications are >> being considered, so it is okay. >> >> From where does this change in behavior come from? >> > -- 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/64319519-8c81-463c-959f-c16ddfa21c68n%40googlegroups.com.