On Wed, 18 Jan 2023 at 11:51, Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)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