On Thu, Dec 7, 2023 at 10:18 PM Thomas Munro <[email protected]> wrote: > On Fri, Dec 8, 2023 at 3:57 AM Robert Haas <[email protected]> wrote: > > On Tue, Dec 5, 2023 at 4:01 PM Nathan Bossart <[email protected]> > > 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
