[tor-commits] [globe/master] Merge branch 'trac-13084'