Richard Guo <guofengli...@gmail.com> writes: > On Thu, Feb 23, 2023 at 4:50 AM Tom Lane <t...@sss.pgh.pa.us> wrote: >> Less-hasty v2 patch attached.
> I think the patch is in good shape now.
Pushed, thanks for reviewing!
regards, tom lane
