chiark / gitweb /
time-util: accept "µs" as time unit, in addition to "us" (#4836)