Re: [tor-bugs] #11146 [Core Tor/Tor]: cov-diff utility should handle new source files

2020-06-05 Thread Tor Bug Tracker & Wiki
#11146: cov-diff utility should handle new source files
-+-
 Reporter:  nickm|  Owner:  (none)
 Type:  defect   | Status:  closed
 Priority:  Very Low |  Milestone:  Tor:
 |  unspecified
Component:  Core Tor/Tor |Version:  Tor:
 |  0.2.7
 Severity:  Normal   | Resolution:  wontfix
 Keywords:  tor-client, coverage, tools, |  Actual Points:
  testing, SponsorS-deferred |
Parent ID:   | Points:  small
 Reviewer:   |Sponsor:
-+-
Changes (by nickm):

 * status:  new => closed
 * resolution:   => wontfix


Comment:

 We're now mostly using coveralls in preference to cov-diff.

--
Ticket URL: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs


Re: [tor-bugs] #11146 [Core Tor/Tor]: cov-diff utility should handle new source files

2017-06-05 Thread Tor Bug Tracker & Wiki
#11146: cov-diff utility should handle new source 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: 
Tor Bug Tracker & Wiki 
The Tor Project: anonymity online
___
tor-bugs mailing list
tor-bugs@lists.torproject.org
https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs