[tor-commits] [tpo/master] Merge branch 'bug_172'