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

This commit is contained in:
Nick Mathewson
2019-06-10 09:38:40 -04:00
4 changed files with 2 additions and 197 deletions
+2
View File
@@ -0,0 +1,2 @@
o Removed features:
- Remove torctl.in from contrib/dist directory. Resolves ticket 30550.