[tor-commits] [community/develop] Merge branch 'patch-1' of github.com:KenKundert/community into patch-1