[tor-bugs] #9655 [Tor]: Tor manual's config default options could be clearer

[Tor Bug Tracker & Wiki]

#9655: Tor manual's config default options could be clearer
-----------------------------+------------------------------
     Reporter:  Ry           |      Owner:
         Type:  enhancement  |     Status:  new
     Priority:  trivial      |  Milestone:  Tor: unspecified
    Component:  Tor          |    Version:
   Resolution:               |   Keywords:
Actual Points:               |  Parent ID:
       Points:               |
-----------------------------+------------------------------
Changes (by nickm):

 * milestone:   => Tor: unspecified


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