chiark / gitweb /
Use CLOCK_MONOTONIC for all our timing needs, when possible