chiark / gitweb /
util: use format_timestamp() instead of ctime() wherever possible