[tor-commits] [torspec/master] Merge proposal 222 (eliminate timestamps) into the specifications