On Sun, Oct 23, 2022 at 10:44 PM Julien Rouhaud <rjuju...@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
