Em sex., 25 de nov. de 2022 às 22:21, Michael Paquier <michael@paquier.xyz> escreveu:
On Fri, Nov 25, 2022 at 01:15:40PM +0100, Peter Eisentraut wrote: > Is this something you want to follow up on, since you were involved in that > patch? Is the redundant assignment simply to be deleted, or do you want to > check the original patch again for context?
Most of the changes of this thread have been applied as of c42cd05c. Remains the SIGALRM business with sig_atomic_t, and I wanted to check that by myself first.