Merge branch 'tor-github/pr/692' into maint-0.4.0

This commit is contained in:
David Goulet
2019-02-26 10:47:54 -05:00
2 changed files with 5 additions and 2 deletions
+3
View File
@@ -0,0 +1,3 @@
o Minor bugfixes (testing):
- Fix our gcov wrapper script to look for object files at the
correct locations. Fixes bug 29435; bugfix on 0.3.5.1-alpha.