[metrics-bugs] #31649 [Metrics]: Add ant task in metrics-base to fetch metrics-lib/exonerator from dist

[Tor Bug Tracker & Wiki]

#31649: Add ant task in metrics-base to fetch metrics-lib/exonerator from dist
----------------------+--------------------------
 Reporter:  irl       |          Owner:  karsten
     Type:  task      |         Status:  accepted
 Priority:  Very Low  |      Milestone:
Component:  Metrics   |        Version:
 Severity:  Normal    |     Resolution:
 Keywords:            |  Actual Points:
Parent ID:            |         Points:
 Reviewer:            |        Sponsor:
----------------------+--------------------------
Changes (by karsten):

 * cc: metrics-team (added)
 * owner:  metrics-team => karsten
 * status:  new => accepted


Comment:

 Ah, never mind my comment above. We can of course download whichever
 metrics-lib version is written in `build.xml`. Accepting this ticket and
 doing some Ant hacking now...

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