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

This commit is contained in:
Nick Mathewson
2018-11-19 08:47:03 -05:00
2 changed files with 6 additions and 3 deletions
+3
View File
@@ -0,0 +1,3 @@
o Code simplification and refactoring:
- Fix shellcheck warnings in cov-diff script. Resolves issue
28009.