[tor-bugs] #4366 [Tor Client]: duplicate includes

[Tor Bug Tracker & Wiki]

#4366: duplicate includes
---------------------------+------------------------------------------------
    Reporter:  arma        |       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:

 looks fine to me.  will squash and merge.  Thanks, Sebastian!  Thanks,
 Andrea!

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