On Wed, May 28, 2025 at 11:43 AM J. Javier Maestro <jjmaes...@ieee.org> wrote:
> On Wed, May 28, 2025 at 6:08 PM Andres Freund <and...@anarazel.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)
