On Mon, 8 Jan 2024 at 22:21, Tom Lane <t...@sss.pgh.pa.us> wrote: > > Richard Guo <guofengli...@gmail.com> writes: > > On Sun, Jan 7, 2024 at 6:41 AM Tom Lane <t...@sss.pgh.pa.us> wrote: > >> Thanks for the report! I guess we need something like the attached. > > > +1. > > Pushed, thanks for looking at it.
I have changed the status of the commitfest entry to "Committed" as I noticed the patch has already been committed. Regards, Vignesh
