Robert Haas <[email protected]> writes:
> On Fri, Jun 3, 2022 at 4:51 PM Tom Lane <[email protected]> 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