On Mon, 8 Jan 2024 at 22:21, Tom Lane <[email protected]> wrote: > > Richard Guo <[email protected]> writes: > > On Sun, Jan 7, 2024 at 6:41 AM Tom Lane <[email protected]> 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
