Re: split futex into three

[Stuart Henderson]

On 2020/04/05 10:28, Martin Pieuchot wrote:
> Another way to proceed would be to do a port grep for futex and see what
> the ecosystem is using.

Sorry it's not filtered, but :

https://junkpile.org/grep.futex.gz