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