On Wed, Aug 10, 2022 at 4:28 PM Robert Haas <robertmhaas(at)gmail(dot)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.
--
Robert Haas
EDB: http://www.enterprisedb.com