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

[Tor Bug Tracker & Wiki]

#18794: add cobertura task
-----------------------------+--------------------
     Reporter:  iwakeh       |      Owner:  iwakeh
         Type:  enhancement  |     Status:  new
     Priority:  Medium       |  Milestone:
    Component:  CollecTor    |    Version:
     Severity:  Normal       |   Keywords:  ctip
Actual Points:               |  Parent ID:
       Points:               |   Reviewer:
      Sponsor:               |
-----------------------------+--------------------
 add Cobertura task:

 requires cobertura 1.9.4.1+dfsg-3 (wheezy or 1.9.4.1+dfsg-4 for jessie)

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