> Cc: [email protected] > From: Pedro Alves <[email protected]> > Date: Fri, 19 May 2017 16:36:46 +0100 > > So I wonder whether we could just unconditionally remove the waitpid > replacement instead.
That's probably the best path forward.
> Cc: [email protected] > From: Pedro Alves <[email protected]> > Date: Fri, 19 May 2017 16:36:46 +0100 > > So I wonder whether we could just unconditionally remove the waitpid > replacement instead.
That's probably the best path forward.