On Mon, 14 Apr 2025, Tom Lane wrote:
>
> You should add your patch to the July commitfest [1] to make sure
> we don't lose track of it.
I rebased the patch (attached) and created an entry in the commitfest:
https://commitfest.postgresql.org/patch/5809/
Thanks!
Dimitris