[tor-bugs] #19617 [Metrics]: Metrics Java projects should all use java8

[Tor Bug Tracker & Wiki]

#19617: Metrics Java projects should all use java8
-------------------------+------------------------
 Reporter:  iwakeh       |          Owner:  (none)
     Type:  enhancement  |         Status:  new
 Priority:  Medium       |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Normal       |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:               |        Sponsor:
-------------------------+------------------------

Comment (by karsten):

 Yes! But how do we make sure that metrics-lib gets migrated last? Can we
 override the setting there and wait for the next major metrics-lib release
 to upgrade to Java 8?

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