[tor-commits] [tor/master] remove already-merged changes file

[nickm at torproject.org]

commit 87a7748a8489160ffce966e663dc1e25de1c734e
Author: Nick Mathewson <nickm at torproject.org>
Date:   Tue May 22 08:36:03 2018 -0400

    remove already-merged changes file
---
 changes/bug25415 | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/changes/bug25415 b/changes/bug25415
deleted file mode 100644
index ec851aee8..000000000
--- a/changes/bug25415
+++ /dev/null
@@ -1,4 +0,0 @@
-  o Major bugfixes (directory authority):
-    - Avoid a crash when testing router reachability on a router that could
-      have an ed25519 ID, but which does not. Fixes bug 25415; bugfix on
-      0.3.3.2-alpha.