[tor-commits] [tor/master] Merge branch 'bug40168+34088-035-v3' into bug40168+34088-035-v3-master