On Thursday, April 18, 2024 at 12:47:36 PM UTC-5 David Roe wrote:
On Thu, Apr 18, 2024 at 1:43 PM Matthias Koeppe wrote: I will first note that the title of this post is misleading. Everything that was merged has been reviewed -- as noted, many months ago. I agree that everything was reviewed. And that is why I vote -1 on reverting the merge. - Marc -- 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/b14df2d2-bfea-4cbb-afd4-706ad925e739n%40googlegroups.com.
