[metrics-bugs] #31233 [Metrics]: Investigate UnsupportedClassVersionError issue when running `ant coverage`

[Tor Bug Tracker & Wiki]

#31233: Investigate UnsupportedClassVersionError issue when running `ant coverage`
---------------------+------------------------------
 Reporter:  karsten  |          Owner:  metrics-team
     Type:  defect   |         Status:  closed
 Priority:  Medium   |      Milestone:
Component:  Metrics  |        Version:
 Severity:  Normal   |     Resolution:  wontfix
 Keywords:           |  Actual Points:
Parent ID:           |         Points:
 Reviewer:           |        Sponsor:
---------------------+------------------------------
Changes (by karsten):

 * status:  new => closed
 * resolution:   => wontfix


Comment:

 We [https://gitweb.torproject.org/metrics-
 base.git/commit/?id=75cda35ba7375ab0f5b12fa214620c3a29917097 dropped
 Cobertura from the build process] a couple weeks ago. That means this
 issue is not relevant to us anymore. Closing.

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