On Fri, Jan 26, 2024 at 11:44 AM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:
> Thanks to you for the patches, and to Peter for participating in the
> discussion which, IMHO, was very helpful in clarifying things.
Glad I could help.
--
Peter Geoghegan