On Mon, Jul 22, 2024 at 11:02 AM Robert Haas <robertmhaas@gmail.com> wrote:
> I'm still hoping for some review/feedback/testing of these before I
> commit them, but I also don't want to wait too long.
Hearing nothing, pushed 0001.
--
Robert Haas
EDB: http://www.enterprisedb.com