Robert Haas <robertmh...@gmail.com> writes:
> On Fri, Jun 3, 2022 at 4:51 PM Tom Lane <t...@sss.pgh.pa.us> wrote:
>> Thoughts?

> +1 from me. Wish we'd done this years ago.

Pushed, thanks for looking at it.

                        regards, tom lane


Reply via email to