[tor-commits] [webwml/master] update old website with tor version

[nickm at torproject.org]

commit 72c0863186cdea28653b98f4f8170b3b05770ccf
Author: Nick Mathewson <nickm at torproject.org>
Date:   Thu Jun 6 08:26:29 2019 -0400

    update old website with tor version
---
 Makefile             | 2 +-
 include/versions.wmi | 2 +-
 2 files changed, 2 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index c9f0cf73..5f11e83b 100644
--- a/Makefile
+++ b/Makefile
@@ -15,7 +15,7 @@
 # website component, and set it to needs_review.
 
 export STABLETAG=tor-0.4.0.5
-export DEVTAG=tor-0.4.1.1-alpha
+export DEVTAG=tor-0.4.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 2d587717..c89575cf 100644
--- a/include/versions.wmi
+++ b/include/versions.wmi
@@ -1,5 +1,5 @@
 <define-tag version-stable whitespace=delete>0.4.0.5</define-tag>
-<define-tag version-alpha whitespace=delete>0.4.1.1-alpha</define-tag>
+<define-tag version-alpha whitespace=delete>0.4.1.2-alpha</define-tag>
 
 <define-tag version-torbrowserdevelopbranch whitespace=delete>maint-8.0</define-tag>