On 06.12.23 09:23, Peter Eisentraut wrote:
> The (now) second patch is also still of interest to me, but I have since
> noticed that I think [0] should be fixed first, but to make that fix
> simpler, I would like the first patch from here.
>
> [0]:
> https://www.postgresql.org/message-id/flat/24656cec-d6ef-4d15-8b5b-e8dfc9c833a7%40eisentraut.org
The remaining patch in this series needed a rebase and adjustment.
The above precondition still applies.