On Mon, Jul 22, 2024 at 11:02 AM Robert Haas <robertmh...@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
