Tom Lane Fri, 07 Apr 2023 15:40:02 -0700
... BTW, shouldn't https://commitfest.postgresql.org/42/3869/ now get closed as committed?
regards, tom lane