On Thu, Mar 9, 2023 at 4:15 PM Robert Haas <robertmh...@gmail.com> 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 <robertmh...@gmail.com> wrote: > Now that I'm done grumbling, here's a patch.
Anyone want to comment on this? -- Robert Haas EDB: http://www.enterprisedb.com