On Thu, Mar 9, 2023 at 4:15 PM Robert Haas <[email protected]> wrote: > Now that I'm done grumbling, here's a patch.
Anyone want to comment on this? -- Robert Haas EDB: http://www.enterprisedb.com
On Thu, Mar 9, 2023 at 4:15 PM Robert Haas <[email protected]> wrote: > Now that I'm done grumbling, here's a patch.
Anyone want to comment on this? -- Robert Haas EDB: http://www.enterprisedb.com