[tor-bugs] #13166 [metrics-lib]: Release metrics-lib version 1.0.0

[Tor Bug Tracker & Wiki]

#13166: Release metrics-lib version 1.0.0
-------------------------+-------------------------
 Reporter:  karsten      |          Owner:  karsten
     Type:  enhancement  |         Status:  new
 Priority:  normal       |      Milestone:
Component:  metrics-lib  |        Version:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
-------------------------+-------------------------
 We should do metrics-lib releases and provide jar files for each release.
 We could start with version 1.0.0, because metrics-lib is already in use
 by a couple of projects and has turned out to be relatively stable.
 Blocking on a solution to #13132 to distribute jars, plus a few more
 decisions on ChangeLog format and a versioning scheme, some code for an
 Ant task, etc.

--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/13166>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online