[tor-bugs] #13381 [Tor]: tor man page says you can use nicknames for node selection

[Tor Bug Tracker & Wiki]

#13381: tor man page says  you can use nicknames for node selection
------------------------+--------------------------------
     Reporter:  arma    |      Owner:
         Type:  defect  |     Status:  closed
     Priority:  normal  |  Milestone:  Tor: 0.2.6.x-final
    Component:  Tor     |    Version:
   Resolution:  fixed   |   Keywords:  doc
Actual Points:          |  Parent ID:
       Points:          |
------------------------+--------------------------------
Changes (by nickm):

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


Comment:

 I edited tor.1.txt in 68af1e7e9be8bef82b4574ac0934310af71a764b.  Please do
 more edits if you don't like mine. :)

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