chiark / gitweb /
manager: properly parse finish timestamp