sorry, fd_to_clockid() should probably return a clockid_t, let me fix that.

Reply via email to