Peter Smith <smithpb2250@gmail.com> writes:
> On Sat, Dec 10, 2022 at 5:10 AM samay sharma <smilingsamay@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
