[Author Prev][Author Next][Thread Prev][Thread Next][Author Index][Thread Index]

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



#11145: coverage utility should merge multiple output files
-------------------------------------------------+-------------------------
 Reporter:  nickm                                |          Owner:
     Type:  defect                               |         Status:  new
 Priority:  Very Low                             |      Milestone:  Tor:
                                                 |  unspecified
Component:  Core Tor/Tor                         |        Version:  Tor:
                                                 |  0.2.7
 Severity:  Normal                               |     Resolution:
 Keywords:  tor-client, coverage, tools,         |  Actual Points:
  testing, SponsorS-deferred                     |
Parent ID:                                       |         Points:  small
 Reviewer:                                       |        Sponsor:
-------------------------------------------------+-------------------------
Changes (by nickm):

 * keywords:  tor-client, coverage, SponsorS-deferred => tor-client,
     coverage, tools, testing, SponsorS-deferred
 * severity:   => Normal


--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/11145#comment:17>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
_______________________________________________
tor-bugs mailing list
tor-bugs@xxxxxxxxxxxxxxxxxxxx
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs