[tor-bugs] #11145 [Tor]: coverage utility should merge multiple output files

[Tor Bug Tracker & Wiki]

#11145: coverage utility should merge multiple output files
-------------------------+-------------------------------------------------
     Reporter:  nickm    |      Owner:
         Type:  defect   |     Status:  assigned
     Priority:  trivial  |  Milestone:  Tor: 0.2.7.x-final
    Component:  Tor      |    Version:  Tor: 0.2.7
   Resolution:           |   Keywords:  tor-client, coverage,
Actual Points:           |  027-triaged-1-in, SponsorS
       Points:  small    |  Parent ID:
-------------------------+-------------------------------------------------
Changes (by isabela):

 * keywords:  tor-client, coverage, 027-triaged-1-in => tor-client,
     coverage, 027-triaged-1-in, SponsorS
 * priority:  minor => trivial
 * points:   => small
 * version:   => Tor: 0.2.7


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