Re: [tor-bugs] #19616 [Metrics/metrics-lib]: metrics-lib should be renamed to DescripTor

2016-07-07 Thread Tor Bug Tracker & Wiki
#19616: metrics-lib should be renamed to DescripTor -+- Reporter: iwakeh | Owner: karsten Type: task | Status: new Priority: Medium | Milestone: Component:

Re: [tor-bugs] #19616 [Metrics/metrics-lib]: metrics-lib should be renamed to DescripTor

2016-07-06 Thread Tor Bug Tracker & Wiki
#19616: metrics-lib should be renamed to DescripTor -+- Reporter: iwakeh | Owner: karsten Type: task | Status: new Priority: Medium | Milestone: Component:

Re: [tor-bugs] #19616 [Metrics/metrics-lib]: metrics-lib should be renamed to DescripTor

2016-07-06 Thread Tor Bug Tracker & Wiki
#19616: metrics-lib should be renamed to DescripTor -+- Reporter: iwakeh | Owner: karsten Type: task | Status: new Priority: Medium | Milestone: Component:

[tor-bugs] #19616 [Metrics/metrics-lib]: metrics-lib should be renamed to DescripTor

2016-07-06 Thread Tor Bug Tracker & Wiki
#19616: metrics-lib should be renamed to DescripTor -+- Reporter: iwakeh | Owner: karsten Type: task | Status: new Priority: Medium | Milestone: Component: