Merge remote-tracking branch 'tor-github/pr/733' into maint-0.3.5

This commit is contained in:
teor
2019-03-08 14:11:14 +10:00
2 changed files with 27 additions and 2 deletions
+6
View File
@@ -0,0 +1,6 @@
o Minor bugfixes (Windows, CI):
- Skip the Appveyor 32-bit Windows Server 2016 job, and 64-bit Windows
Server 2012 R2 job. The remaining 2 jobs still provide coverage of
64/32-bit, and Windows Server 2016/2012 R2. Also set fast_finish, so
failed jobs terminate the build immediately.
Fixes bug 29601; bugfix on 0.3.5.4-alpha.