chiark / gitweb /
util: make time formatting a bit smarter