Re: [tor-bugs] #18794 [Metrics/CollecTor]: add cobertura task

2016-04-21 Thread Tor Bug Tracker & Wiki
#18794: add cobertura task ---+ Reporter: iwakeh | Owner: iwakeh Type: enhancement| Status: new Priority: Medium | Milestone: Component: Metrics/CollecTor |Version: Sever

Re: [tor-bugs] #18794 [Metrics/CollecTor]: add cobertura task

2016-04-22 Thread Tor Bug Tracker & Wiki
#18794: add cobertura task ---+-- Reporter: iwakeh | Owner: iwakeh Type: enhancement| Status: needs_review Priority: Medium | Milestone: Component: Metrics/CollecTor |

Re: [tor-bugs] #18794 [Metrics/CollecTor]: add cobertura task

2016-04-27 Thread Tor Bug Tracker & Wiki
#18794: add cobertura task ---+-- Reporter: iwakeh | Owner: iwakeh Type: enhancement| Status: needs_review Priority: Medium | Milestone: Component: Metrics/CollecTor |

Re: [tor-bugs] #18794 [Metrics/CollecTor]: add cobertura task

2016-04-27 Thread Tor Bug Tracker & Wiki
#18794: add cobertura task ---+-- Reporter: iwakeh | Owner: iwakeh Type: enhancement| Status: needs_review Priority: Medium | Milestone: Component: Metrics/CollecTor |

Re: [tor-bugs] #18794 [Metrics/CollecTor]: add cobertura task

2016-04-28 Thread Tor Bug Tracker & Wiki
#18794: add cobertura task ---+-- Reporter: iwakeh | Owner: iwakeh Type: enhancement| Status: needs_review Priority: Medium | Milestone: Component: Metrics/CollecTor |

Re: [tor-bugs] #18794 [Metrics/CollecTor]: add cobertura task

2016-04-28 Thread Tor Bug Tracker & Wiki
#18794: add cobertura task ---+- Reporter: iwakeh | Owner: iwakeh Type: enhancement| Status: closed Priority: Medium | Milestone: Component: Metrics/CollecTor |Version