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. -- Robert Haas EDB: http://www.enterprisedb.com
