Robert Haas <robertmhaas@gmail.com> writes:
> On Thu, Aug 18, 2022 at 1:26 PM Robert Haas <robertmhaas@gmail.com> wrote:
>> CI is happier with this version, so I've committed 0001. If no major
>> problems emerge, I'll proceed with 0002 as well.
> Done.
Shouldn't the CF entry [1] be closed as committed?
regards, tom lane
[1] https://commitfest.postgresql.org/39/3745/