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

2018-02-09 Thread 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 |

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

2017-11-15 Thread Tor Bug Tracker & Wiki
#24297: Rename metrics-bot packages -+- Reporter: karsten | Owner: irl Type: enhancement | Status: new Priority: Medium | Milestone: Component: Metrics/Bot |Version: Severity: Normal |