Merge branch 'tor-github/pr/1244'

This commit is contained in:
David Goulet
2019-08-22 17:10:22 -04:00
15 changed files with 634 additions and 222 deletions
+2 -2
View File
@@ -29,8 +29,8 @@
#
# Remember: It is better to fix the problem than to add a new exception!
problem file-size /src/app/config/config.c 8510
problem include-count /src/app/config/config.c 87
problem file-size /src/app/config/config.c 8518
problem include-count /src/app/config/config.c 88
problem function-size /src/app/config/config.c:options_act_reversible() 296
problem function-size /src/app/config/config.c:options_act() 589
problem function-size /src/app/config/config.c:resolve_my_address() 190