I wrote:> OK. I will push the configure change once the release freeze lifts.
And done.
regards, tom lane