Tom Lane Tue, 10 May 2022 15:46:44 -0700
I wrote: > OK. I will push the configure change once the release freeze lifts.
And done. regards, tom lane