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
