Merge branch 'tor-github/pr/1324'

2024-12-06 19:41:15 +01:00 · 2019-09-16 15:21:28 +03:00
parent a1192b6b4a 11cf4d9c3a
commit 5ec751b38b
42 changed files with 597 additions and 2 deletions
@@ -0,0 +1,6 @@
+  o Minor features (testing):
+    - Add a script to invoke "tor --dump-config" and "tor --verify-config"
+      with various configuration options, and see whether tor's resulting
+      configuration or error messages are what we expect. Use it for
+      integration testing of our +Option and /Option flags.
+      Closes ticket 31637.