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