[tor-commits] [onionoo/master] Bump version to 8.0-1.25.0-dev.

[karsten at torproject.org]

commit 22807e8f829912ad521756a8218873079c78c274
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Thu Feb 20 15:31:23 2020 +0100

    Bump version to 8.0-1.25.0-dev.
---
 CHANGELOG.md | 3 +++
 build.xml    | 2 +-
 2 files changed, 4 insertions(+), 1 deletion(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 12be2f2..d5877d3 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,3 +1,6 @@
+# Changes in version 8.0-1.2?.? - 2020-0?-??
+
+
 # Changes in version 8.0-1.25.0 - 2020-02-20
 
  * Major changes
diff --git a/build.xml b/build.xml
index 6cf8a76..b92d5b5 100644
--- a/build.xml
+++ b/build.xml
@@ -11,7 +11,7 @@
   <property name="implementation-title" value="Onionoo" />
   <property name="onionoo.protocol.version" value="8.0"/>
   <property name="release.version"
-            value="${onionoo.protocol.version}-1.25.0"/>
+            value="${onionoo.protocol.version}-1.25.0-dev"/>
   <property name="metricslibversion" value="2.10.0"/>
   <property name="jetty.version" value="-9.2.21.v20170120" />
   <property name="warfile"