> 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.

Reply via email to