On Thu, Mar 9, 2023 at 4:15 PM Robert Haas <robertmhaas(at)gmail(dot)com> wrote:> Now that I'm done grumbling, here's a patch.
Anyone want to comment on this?
-- Robert HaasEDB: http://www.enterprisedb.com