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

Re: [tor-bugs] #4637 [Tor Client]: Two coverity deadcode issues

#4637: Two coverity deadcode issues
---------------------------+------------------------------------------------
    Reporter:  Sebastian   |       Owner:                    
        Type:  defect      |      Status:  closed            
    Priority:  normal      |   Milestone:  Tor: 0.2.3.x-final
   Component:  Tor Client  |     Version:                    
  Resolution:  fixed       |    Keywords:                    
      Parent:              |      Points:                    
Actualpoints:              |  
---------------------------+------------------------------------------------
Changes (by nickm):

  * status:  needs_review => closed
  * resolution:  => fixed


Comment:

 merged; thanks!

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/4637#comment:10>
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