From ded70363a71ab52b965998c90587fb398e5048f0 Mon Sep 17 00:00:00 2001
From: Nick Mathewson <nickm@torproject.org>
Date: Mon, 10 Sep 2012 15:54:16 -0400
Subject: Rename DirServer to DirAuthority

---
 changes/rename_dirserver | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 changes/rename_dirserver

(limited to 'changes')

diff --git a/changes/rename_dirserver b/changes/rename_dirserver
new file mode 100644
index 000000000..122a2df2f
--- /dev/null
+++ b/changes/rename_dirserver
@@ -0,0 +1,3 @@
+  o Renamed options:
+    - The DirServer option is now DirAuthority, for consistency with current
+      naming patterns.  You can still use the old DirServer form.
-- 
cgit v1.2.3