[tor-commits] [tor/master] Merge branches 'bug8185_031' and 'bug8185_diagnostic_032'