[tor-commits] [tlsdate/master] In verbose mode, display TLS time as well as HTTPS time