Merge remote-tracking branch 'tor-github/pr/1235'

This commit is contained in:
Nick Mathewson
2019-08-19 11:10:21 -04:00
9 changed files with 82 additions and 32 deletions
+1
View File
@@ -283,3 +283,4 @@ problem function-size /src/tools/tor-gencert.c:parse_commandline() 111
problem function-size /src/tools/tor-resolve.c:build_socks5_resolve_request() 102
problem function-size /src/tools/tor-resolve.c:do_resolve() 171
problem function-size /src/tools/tor-resolve.c:main() 112