On Wed, 18 Jan 2023 at 11:51, Tom Lane <[email protected]> wrote: > If nobody has any comments on this, I'm going to go ahead and push > it. The value of the improvement is rapidly paling in comparison > to the patch's maintenance effort.
No objections from me. David
