chiark / gitweb /
timedated: do not reset poll interval with a spike