On Wed, Mar 20, 2024 at 2:57 AM Tom Lane <[email protected]> wrote:
> Richard Guo <[email protected]> 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
