On Fri, Jan 26, 2024 at 12:39 PM Nathan Bossart <nathandboss...@gmail.com> wrote: > On Fri, Jan 26, 2024 at 11:04:37AM -0500, Robert Haas wrote: > > Here is v2 with that addition. > > Looks reasonable.
Thanks for the report & review. I have committed that version. -- Robert Haas EDB: http://www.enterprisedb.com