On Sun, Jun 22, 2025 at 10:23 PM Nikolay Samokhvalov <n...@postgres.ai> wrote:
> > 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) > Thank you! Cheers, Javier
