[tor-bugs] #7143 [Tor]: we've started putting micro-revision.i in the root dir

[Tor Bug Tracker & Wiki]

#7143: we've started putting micro-revision.i in the root dir
-----------------------+----------------------------------------------------
    Reporter:  arma    |       Owner:                    
        Type:  defect  |      Status:  closed            
    Priority:  minor   |   Milestone:  Tor: 0.2.4.x-final
   Component:  Tor     |     Version:                    
  Resolution:  fixed   |    Keywords:  tor-client        
      Parent:          |      Points:                    
Actualpoints:          |  
-----------------------+----------------------------------------------------
Changes (by nickm):

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


Comment:

 Merged; thanks!

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