chiark / gitweb /
timer: downgrade time change message to debug