[metrics-bugs] #25217 [Metrics]: metrics-base: Update checkstyle to debian stable

[Tor Bug Tracker & Wiki]

#25217: metrics-base: Update checkstyle to debian stable
-------------------------+------------------------------
 Reporter:  iwakeh       |          Owner:  metrics-team
     Type:  enhancement  |         Status:  new
 Priority:  Medium       |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Normal       |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:               |        Sponsor:
-------------------------+------------------------------
Description changed by iwakeh:

Old description:

> Verify that all works as expected (which should be the case) and update
> to the latest available and working version.

New description:

 Verify that all works as expected (which should be the case) and update to
 the latest available and working version.

 From Iain's [https://lists.torproject.org/pipermail/metrics-
 team/2018-February/000677.html mailing list post]:
    7.5 should be arriving in unstable soon and they are working on
 updating to 8.8

--

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