commit b002f78ad6a89df82ee7a9794dc848173e0f695c Author: Nick Mathewson nickm@torproject.org Date: Mon Sep 18 11:15:41 2017 -0400

0.3.1.7 is out. --- Makefile | 4 ++-- include/versions.wmi | 4 ++-- 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile index 584ad168..ed0e9d6f 100644 --- a/Makefile +++ b/Makefile @@ -14,8 +14,8 @@ # branch to your personal webwml repository, open a trac ticket in the # website component, and set it to needs_review.

-export STABLETAG=tor-0.3.0.10 -export DEVTAG=tor-0.3.1.6-rc +export STABLETAG=tor-0.3.1.7 +export DEVTAG=tor-0.3.1.7

WMLBASE=. diff --git a/include/versions.wmi b/include/versions.wmi index 1740e025..4c49fd02 100644 --- a/include/versions.wmi +++ b/include/versions.wmi @@ -1,5 +1,5 @@ -<define-tag version-stable whitespace=delete>0.3.0.10</define-tag> -<define-tag version-alpha whitespace=delete>0.3.1.6-rc</define-tag> +<define-tag version-stable whitespace=delete>0.3.1.7</define-tag> +<define-tag version-alpha whitespace=delete>0.3.1.7</define-tag>

<define-tag version-win32-stable whitespace=delete>0.3.0.10</define-tag>