Hi, On 2023-10-01 14:53:23 -0400, Tom Lane wrote: > Peter Eisentraut <[email protected]> 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
