[tor-bugs] #24297 [Metrics/Bot]: Rename metrics-bot packages

[Tor Bug Tracker & Wiki]

#24297: Rename metrics-bot packages
-------------------------+------------------------
 Reporter:  karsten      |          Owner:  irl
     Type:  enhancement  |         Status:  closed
 Priority:  Medium       |      Milestone:
Component:  Metrics/Bot  |        Version:
 Severity:  Normal       |     Resolution:  fixed
 Keywords:               |  Actual Points:
Parent ID:               |         Points:
 Reviewer:               |        Sponsor:
-------------------------+------------------------
Changes (by irl):

 * status:  accepted => closed
 * resolution:   => fixed


Comment:

 Fixed in 6e664ba.

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