[tor-commits] [tor/master] Merge branch 'bug3465-022' into bug3465-023