Robert Haas <robertmhaas(at)gmail(dot)com> writes:> On Fri, Jun 3, 2022 at 4:51 PM Tom Lane <tgl(at)sss(dot)pgh(dot)pa(dot)us> wrote:>> Thoughts?
> +1 from me. Wish we'd done this years ago.
Pushed, thanks for looking at it.
regards, tom lane