Hi,
On 2023-10-01 14:53:23 -0400, Tom Lane wrote:
> Peter Eisentraut <peter(at)eisentraut(dot)org> writes:
> > Is this patch still being worked on?
>
> I thought Andres simply hadn't gotten back to it yet.
> It still seems like a worthwhile improvement.
Indeed - I do plan to commit it. I haven't quite shifted into v17 mode yet...
Greetings,
Andres Freund