-1 to be in sync with my vote in #37796. On Friday, April 19, 2024 at 5:35:57 AM UTC+9 Marc Culler wrote:
> > > 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/4fc94cac-c462-4a96-ae9f-be7be57c9fe8n%40googlegroups.com.
