[tor-commits] [webwml/master] 0.3.1.2-alpha is tagged and uploaded; update website

[nickm at torproject.org]

commit 072117967d91e621f2d19d5780f1d47f0206bd8c
Author: Nick Mathewson <nickm at torproject.org>
Date:   Fri May 26 09:40:28 2017 -0400

    0.3.1.2-alpha is tagged and uploaded; update website
---
 Makefile             | 2 +-
 include/versions.wmi | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index e708f80..a941f4c 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@
 # website component, and set it to needs_review.
 
 export STABLETAG=tor-0.3.0.7
-export DEVTAG=tor-0.3.1.1-alpha
+export DEVTAG=tor-0.3.1.2-alpha
 
 WMLBASE=.
 SUBDIRS=docs eff projects press about download getinvolved donate docs/torbutton
diff --git a/include/versions.wmi b/include/versions.wmi
index 851cdfd..ba7e2ea 100644
--- a/include/versions.wmi
+++ b/include/versions.wmi
@@ -1,5 +1,5 @@
 <define-tag version-stable whitespace=delete>0.3.0.7</define-tag>
-<define-tag version-alpha whitespace=delete>0.3.1.1-alpha</define-tag>
+<define-tag version-alpha whitespace=delete>0.3.1.2-alpha</define-tag>
 
 <define-tag version-win32-stable whitespace=delete>0.2.9.10</define-tag>