chiark / gitweb /
util: properly divide in 64bit in format_timestamp()