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
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