[tor-commits] [community/master] Merge commit '9825e82b467b2ccf98c5a666b641a68014b0faf2'