Richard Guo <[email protected]> writes: > On Thu, Feb 23, 2023 at 4:50 AM Tom Lane <[email protected]> wrote: >> Less-hasty v2 patch attached.
> I think the patch is in good shape now.
Pushed, thanks for reviewing!
regards, tom lane
