Yes, I've already added it here: https://commitfest.postgresql.org/38/3742/
Thanks!
On Thu, 30 Jun 2022 at 12:09, Greg Stark <stark(at)mit(dot)edu> wrote:
> Please add this to the commitfest at
> https://commitfest.postgresql.org/38/ so it doesn't get missed. The
> commitfest starts imminently so best add it today.
>