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.
