[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:  Low          |      Milestone:
Component:  Metrics      |        Version:
 Severity:  Minor        |     Resolution:
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:               |        Sponsor:
-------------------------+------------------------------
Changes (by iwakeh):

 * priority:  Medium => Low
 * severity:  Normal => Minor


Comment:

 Setting to lesser prio and severity b/c we're waiting on Debian to upgrade
 to a version >= 6.17

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