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


Reply via email to