Re: [tor-bugs] #18718 [Metrics/metrics-lib]: remove last impl. dependency from api

2017-05-11 Thread Tor Bug Tracker & Wiki
#18718: remove last impl. dependency from api -+--- Reporter: iwakeh | Owner: karsten Type: enhancement | Status: closed Priority: Medium | Milestone: Component:

Re: [tor-bugs] #18718 [Metrics/metrics-lib]: remove last impl. dependency from api

2017-05-04 Thread Tor Bug Tracker & Wiki
#18718: remove last impl. dependency from api -+--- Reporter: iwakeh | Owner: karsten Type: enhancement | Status: closed Priority: Medium | Milestone: metrics-lib

Re: [tor-bugs] #18718 [Metrics/metrics-lib]: remove last impl. dependency from api

2017-03-14 Thread Tor Bug Tracker & Wiki
#18718: remove last impl. dependency from api -+--- Reporter: iwakeh | Owner: karsten Type: enhancement | Status: new Priority: Medium | Milestone: metrics-lib

Re: [tor-bugs] #18718 [Metrics/metrics-lib]: remove last impl. dependency from api

2016-05-24 Thread Tor Bug Tracker & Wiki
#18718: remove last impl. dependency from api -+- Reporter: iwakeh | Owner: karsten Type: defect | Status: new Priority: Medium | Milestone: Component: