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.
