Merge remote-tracking branch 'tor-github/pr/1064' into maint-0.4.1

This commit is contained in:
Nick Mathewson
2019-06-10 09:37:17 -04:00
2 changed files with 10 additions and 2 deletions
+3
View File
@@ -0,0 +1,3 @@
o Documentation:
- Mention URLs for Travis/Appveyor/Jenkins in ReleasingTor.md. Closes
ticket 30630.