On Sat, Dec 10, 2022 at 5:10 AM samay sharma <smilingsa...@gmail.com> wrote: >
> > I don't have any other feedback. This looks good to me. > > Also, I don't see this patch in the 2023/01 commitfest. Might be worth moving > to that one. > Hmm, it was already recorded in the 2022-11 commitfest [1], so I assumed it would just carry forward to the next one. Anyway, I've added it again to 2023-01 commitfest [2]. Thanks for telling me. ------ [1] 2022-11 CF - https://commitfest.postgresql.org/40/3959/ [2] 2023-01 CF - https://commitfest.postgresql.org/41/4061/ Kind Regards, Peter Smith. Fujitsu Australia.