[tor-commits] [tor/master] Use spaceless ISO8601 time format, not sec, usec.