chiark / gitweb /
util: introduce format_timestamp()