On Thu, Aug 18, 2022 at 1:26 PM Robert Haas <robertmh...@gmail.com> wrote: > On Wed, Aug 10, 2022 at 4:28 PM Robert Haas <robertmh...@gmail.com> wrote: > > Well, CI isn't happy with this, and for good reason: > > CI is happier with this version, so I've committed 0001. If no major > problems emerge, I'll proceed with 0002 as well.
Done. -- Robert Haas EDB: http://www.enterprisedb.com