On Sun, Oct 23, 2022 at 10:44 PM Julien Rouhaud <rjuju123@gmail.com> wrote:
> On Fri, Oct 21, 2022 at 09:15:39AM -0400, Robert Haas wrote:
> > Committed and back-patched to all supported branches.
>
> Is there any additional things to be taken care of or should
> https://commitfest.postgresql.org/40/3954/ be closed?
As far as I know we're done. I have closed that entry.
--
Robert Haas
EDB: http://www.enterprisedb.com