On Fri, May 13, 2022 at 09:49:54AM -0400, Robert Haas wrote: > > Committed.
Thanks! For the record I submitted patches or pull requests this weekend for all repositories I was aware of to fix the compatibility with this patch, hoping that it will save some time to the packagers when they will take care of the beta.