[tor-bugs] #10058 [- Select a component]: Minor man page editing

[Tor Bug Tracker & Wiki]

#10058: Minor man page editing
--------------------------------------+--------------------------------
     Reporter:  weasel                |      Owner:
         Type:  defect                |     Status:  closed
     Priority:  normal                |  Milestone:  Tor: 0.2.5.x-final
    Component:  - Select a component  |    Version:
   Resolution:  implemented           |   Keywords:
Actual Points:                        |  Parent ID:
       Points:                        |
--------------------------------------+--------------------------------
Changes (by nickm):

 * status:  new => closed
 * resolution:   => implemented
 * milestone:   => Tor: 0.2.5.x-final


Comment:

 Applied in e02230dd85f281e40c489898dac01dbef33196f2. Thanks!

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