Oops. Fix up the changelog I just sent out. :(

ChangeLog

@@ -182,7 +182,7 @@ Changes in version 0.3.0.12 - 2017-10-25
 
 
 Changes in version 0.3.1.8 - 2017-10-25
-  Tor 0.3.1.7 is the second stable release in the 0.3.1 series.
+  Tor 0.3.1.8 is the second stable release in the 0.3.1 series.
   It includes several bugfixes, including a bugfix for a crash issue
   that had affected relays under memory pressure. It also adds
   a new directory authority, Bastet.

ReleaseNotes

@@ -186,7 +186,7 @@ Changes in version 0.3.0.12 - 2017-10-25
 
 
 Changes in version 0.3.1.8 - 2017-10-25
-  Tor 0.3.1.7 is the second stable release in the 0.3.1 series.
+  Tor 0.3.1.8 is the second stable release in the 0.3.1 series.
   It includes several bugfixes, including a bugfix for a crash issue
   that had affected relays under memory pressure. It also adds
   a new directory authority, Bastet.