From 98ab3817a86239f9c4888339625a55c55505ede2 Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Thu, 12 Sep 2019 16:54:32 -0400
Subject: [PATCH] Add a changes file for ticket 31637.

---
 changes/ticket31637 | 6 ++++++
 1 file changed, 6 insertions(+)
 create mode 100644 changes/ticket31637

diff --git a/changes/ticket31637 b/changes/ticket31637
new file mode 100644
index 0000000000..b6ffa8b892
--- /dev/null
+++ b/changes/ticket31637
@@ -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.