On Wed, Mar 20, 2024 at 2:57 AM Tom Lane <t...@sss.pgh.pa.us> wrote:
> Richard Guo <guofengli...@gmail.com> writes: > > Here is the patch for HEAD. I simply re-posted v10. Nothing has > > changed. > > I got back to this finally, and pushed it with some minor cosmetic > adjustments. Thanks for pushing! Thanks Richard
