[tor-commits] [collector/release] Prepare for 1.13.1 release.

[karsten at torproject.org]

commit 199d1bed2b337f769c3718c4473f2886e7ecfa06
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Mon Nov 11 10:14:47 2019 +0100

    Prepare for 1.13.1 release.
---
 CHANGELOG.md | 5 ++++-
 build.xml    | 4 ++--
 2 files changed, 6 insertions(+), 3 deletions(-)

diff --git a/CHANGELOG.md b/CHANGELOG.md
index 2edc44d..174f2e1 100644
--- a/CHANGELOG.md
+++ b/CHANGELOG.md
@@ -1,4 +1,7 @@
-# Changes in version 1.1?.? - 2019-1?-??
+# Changes in version 1.13.1 - 2019-11-11
+
+ * Minor changes
+   - Update to metrics-lib 2.9.1.
 
 
 # Changes in version 1.13.0 - 2019-11-09
diff --git a/build.xml b/build.xml
index 9c72447..e91dae3 100644
--- a/build.xml
+++ b/build.xml
@@ -9,10 +9,10 @@
 
   <property name="javadoc-title" value="CollecTor API Documentation"/>
   <property name="implementation-title" value="CollecTor" />
-  <property name="release.version" value="1.13.0-dev" />
+  <property name="release.version" value="1.13.1" />
   <property name="project-main-class" value="org.torproject.metrics.collector.Main" />
   <property name="name" value="collector"/>
-  <property name="metricslibversion" value="2.9.0" />
+  <property name="metricslibversion" value="2.9.1" />
   <property name="jarincludes" value="collector.properties logback.xml" />
 
   <patternset id="runtime" >