chiark / gitweb /
time handling: Support use of CLOCK_MONOTONIC