On Wed, May 28, 2025 at 11:43 AM J. Javier Maestro <jjmaestro(at)ieee(dot)org>
wrote:
> On Wed, May 28, 2025 at 6:08 PM Andres Freund <andres(at)anarazel(dot)de> wrote:
>
...
> Do you want to write a patch like that? Otherwise I can.
>>
>
> Sure, I've attached the new patch. Let me know what you think, and if it's
> OK, what are the next steps to get the patch merged in main!
>
I checked 0001 version, it builds and works as expected.
Not to lose it, created commitfest entry:
https://commitfest.postgresql.org/patch/5835/
(and marked as ready, considering others' words in this thread)