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.