On Fri, Mar 14, 2025 at 3:38 PM Álvaro Herrera <alvherre(at)alvh(dot)no-ip(dot)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