Hi,
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 shouldhttps://commitfest.postgresql.org/40/3954/ be closed?