torproject/metrics-web
1
0
Fork 0
mirror of https://github.com/torproject/metrics-web.git synced 2024-11-23 01:29:41 +00:00
Code Issues Actions Packages Projects Releases Wiki Activity

Update to metrics-lib 2.15.0.

Browse Source
This commit is contained in:
Karsten Loesing 2020-12-17 15:27:02 +01:00
parent c91b832306
commit a07829a30b
2 changed files with 2 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
build.xml
View File

@ -10,7 +10,7 @@
<property name="javadoc-title" value="MetricsWeb API Documentation"/> <property name="javadoc-title" value="MetricsWeb API Documentation"/>
<property name="implementation-title" value="metrics-web" /> <property name="implementation-title" value="metrics-web" />
<property name="release.version" value="1.3.0-dev" /> <property name="release.version" value="1.3.0-dev" />
<property name="metricslibversion" value="2.14.0" /> <property name="metricslibversion" value="2.15.0" />
<property name="exoneratorversion" value="4.4.0" /> <property name="exoneratorversion" value="4.4.0" />
<property name="jetty.version" value="-9.2.21.v20170120" /> <property name="jetty.version" value="-9.2.21.v20170120" />
<property name="warfile" <property name="warfile"

2
src/submods/metrics-lib

@ -1 +1 @@
Subproject commit cf4830cac377503697c7e688e995a3f3cea5225e Subproject commit 179d47ee259ffe86302e57dad6cbc39fdbb72f0b