[tor-bugs] #22732 [Metrics/metrics-lib]: adapt metrics-lib official name to Tor Metrics Library

[Tor Bug Tracker & Wiki]

#22732: adapt metrics-lib official name to Tor Metrics Library
---------------------------------+-----------------------------------
 Reporter:  iwakeh               |          Owner:  iwakeh
     Type:  enhancement          |         Status:  needs_review
 Priority:  Medium               |      Milestone:  metrics-lib 2.0.0
Component:  Metrics/metrics-lib  |        Version:
 Severity:  Normal               |     Resolution:
 Keywords:                       |  Actual Points:
Parent ID:                       |         Points:
 Reviewer:                       |        Sponsor:
---------------------------------+-----------------------------------
Changes (by iwakeh):

 * status:  accepted => needs_review


Comment:

 Only a few changes in [https://gitweb.torproject.org/user/iwakeh/metrics-
 lib.git/commit/?h=task-22732&id=0d4898df6c74bb382253d7991621d9c08031ae8c
 metrics-lib javadoc] and even less in
 [https://gitweb.torproject.org/user/iwakeh/metrics-
 web.git/commit/?h=task-22732&id=1be31edba88f973932aedb441907e35ff8d482da
 metrics-web].

 Please review.

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