Yes, I've already added it here: https://commitfest.postgresql.org/38/3742/
Thanks! On Thu, 30 Jun 2022 at 12:09, Greg Stark <st...@mit.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. >
