commit 72c0863186cdea28653b98f4f8170b3b05770ccf Author: Nick Mathewson nickm@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>