Ticket #4963 (closed task: invalid)
Faster implementation of System.Timeout.timeout
As described in the thread on the libraries list I wrote a faster implementation for System.Timeout.timeout.
Attached are a patch for base and a tiny Criterion benchmark that compares the current timeout with the new one.
The patch does need some careful review!