On Fri, Mar 14, 2025 at 3:38 PM Álvaro Herrera <alvhe...@alvh.no-ip.org> wrote: > I forgot to send a note here that I pushed this patch. Thank you.
I'm confused. Tom and I both said we didn't like this change, so you committed the patch without further discussion? I mean, this is a pretty unimportant detail, so I don't really want to fight about it too much, but that really doesn't seem like a consensus to me. -- Robert Haas EDB: http://www.enterprisedb.com
