Peter Smith <smithpb2...@gmail.com> writes: > On Sat, Dec 10, 2022 at 5:10 AM samay sharma <smilingsa...@gmail.com> wrote: >> 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. Ian is still working on closing out the November 'fest :-(. I suspect that in a day or so that one will get moved, and you will have duplicate entries in the January 'fest. regards, tom lane