On Sat, Dec 10, 2022 at 5:10 AM samay sharma <smilingsamay(at)gmail(dot)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.