Hi, On 2023-10-01 14:53:23 -0400, Tom Lane wrote: > Peter Eisentraut <pe...@eisentraut.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
