Hello, In the hurd/io.defs file, which defines the Hurd I/O interface, the io_select call includes a timeout. However, none of the libraries and servers implementing this call receive it. What makes this argument "disappear" during stub code generation ?
-- Richard Braun
