On Thu, Jan 25, 2024 at 12:25 PM Robert Haas <robertmhaas@gmail.com> wrote:
> I think you're probably correct. I just didn't realize what was meant.
I tweaked your v12 based on this discussion and committed the result.
Thanks to you for the patches, and to Peter for participating in the
discussion which, IMHO, was very helpful in clarifying things.
--
Robert Haas
EDB: http://www.enterprisedb.com