[tor-commits] [tor/master] Merge commit '81cd3d7ad641a8dbf'