Robert Haas <robertmh...@gmail.com> writes: > On Thu, Aug 18, 2022 at 1:26 PM Robert Haas <robertmh...@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/
