[tor-commits] [community/master] Merge remote-tracking branch 'gus-github/patch-9'