On Wed, 18 Jan 2023 at 11:51, Tom Lane <t...@sss.pgh.pa.us> 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
