On Friday, August 2, 2024 at 6:59:13 PM UTC-7 Aaron Lauve wrote: is it also necessary if I've only made small changes to packages?... where it would ordinarily suffice to just run `sage -br`?
Yes -- 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/e28520df-4990-44aa-a26d-9d80b7a13724n%40googlegroups.com.
