[tor-commits] [webwml/master] Two new tor source releases.

[nickm at torproject.org]

commit 98f29cb51e0a9b26f1980e54f69d9f1bbcfc94b5
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Jun 29 18:38:52 2017 -0400

    Two new tor source releases.
---
 Makefile             | 4 ++--
 include/versions.wmi | 4 ++--
 2 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/Makefile b/Makefile
index 4758dd7..1dcdcaf 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.8
-export DEVTAG=tor-0.3.1.3-alpha
+export STABLETAG=tor-0.3.0.9
+export DEVTAG=tor-0.3.1.4-alpha
 
 
 WMLBASE=.
diff --git a/include/versions.wmi b/include/versions.wmi
index 7b8598a..34facfd 100644
--- a/include/versions.wmi
+++ b/include/versions.wmi
@@ -1,5 +1,5 @@
-<define-tag version-stable whitespace=delete>0.3.0.8</define-tag>
-<define-tag version-alpha whitespace=delete>0.3.1.3-alpha</define-tag>
+<define-tag version-stable whitespace=delete>0.3.0.9</define-tag>
+<define-tag version-alpha whitespace=delete>0.3.1.4-alpha</define-tag>
 
 <define-tag version-win32-stable whitespace=delete>0.3.0.8</define-tag>