chiark / gitweb /
util: drop "," between week day and date when formatting timestamps