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

This commit is contained in:
George Kadianakis
2019-04-05 14:56:52 +03:00
2 changed files with 14 additions and 3 deletions
+4
View File
@@ -0,0 +1,4 @@
o Minor bugfixes (CI):
- Terminate test-stem if it takes more than 9.5 minutes to run.
(Travis terminates the job after 10 minutes of no output.)
Diagnostic for 29437. Fixes bug 30011; bugfix on 0.3.5.4-alpha.