On Thu, Dec 7, 2023 at 10:18 PM Thomas Munro <thomas.mu...@gmail.com> wrote: > On Fri, Dec 8, 2023 at 3:57 AM Robert Haas <robertmh...@gmail.com> wrote: > > On Tue, Dec 5, 2023 at 4:01 PM Nathan Bossart <nathandboss...@gmail.com> > > wrote: > > > +1 > > > > So, Thomas ... any chance you could commit this? So that my patch > > stops making cfbot sad? > > Done. Thanks both for the reviews.
Thank you! -- Robert Haas EDB: http://www.enterprisedb.com