chiark / gitweb /
basic/time-util: make parsing of dual_timestamp more strict