chiark / gitweb /
time-util: introduce deserialize_timestamp_value()