[tor-bugs] #15543 [Tor]: Undocumented + and / for config options

[Tor Bug Tracker & Wiki]

#15543: Undocumented + and / for config options
----------------------+------------------------------------
 Reporter:  atagar    |          Owner:
     Type:  defect    |         Status:  closed
 Priority:  Low       |      Milestone:  Tor: 0.2.8.x-final
Component:  Tor       |        Version:
 Severity:  Normal    |     Resolution:  duplicate
 Keywords:  doc easy  |  Actual Points:
Parent ID:            |         Points:  small
  Sponsor:            |
----------------------+------------------------------------
Changes (by nickm):

 * status:  new => closed
 * resolution:   => duplicate
 * severity:   => Normal


Comment:

 I claim this is already done by b370052ae4182  , and is a duplicate of
 #13158.  Thanks again to joanq for the patch.

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