On Thu, Aug 18, 2022 at 1:26 PM Robert Haas <[email protected]> wrote: > On Wed, Aug 10, 2022 at 4:28 PM Robert Haas <[email protected]> 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
