[tor-commits] [metrics-web/release] Update to ExoneraTor 3.0.1.

[karsten at torproject.org]

commit 87d159ca6893cd3a9c99b9bb0a9912bed14b9f7e
Author: Karsten Loesing <karsten.loesing at gmx.net>
Date:   Tue Aug 28 12:33:04 2018 +0200

    Update to ExoneraTor 3.0.1.
---
 build.xml | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/build.xml b/build.xml
index 423bfe3..a97cb01 100644
--- a/build.xml
+++ b/build.xml
@@ -10,7 +10,7 @@
   <property name="implementation-title" value="metrics-web" />
   <property name="release.version" value="1.1.0-dev" />
   <property name="metricslibversion" value="2.4.0" />
-  <property name="exoneratorversion" value="3.0.0" />
+  <property name="exoneratorversion" value="3.0.1" />
   <property name="jetty.version" value="-9.2.21.v20170120" />
   <property name="warfile"
             value="metrics-web-${release.version}.war"/>