[tor-bugs] #23163 [Core Tor/Tor]: Wrong name for new tor config options

[Tor Bug Tracker & Wiki]

#23163: Wrong name for new tor config options
---------------------------------------+----------------------------------
 Reporter:  atagar                     |          Owner:  (none)
     Type:  defect                     |         Status:  closed
 Priority:  Low                        |      Milestone:  Tor: unspecified
Component:  Core Tor/Tor               |        Version:
 Severity:  Minor                      |     Resolution:  fixed
 Keywords:  tor-config, 032-unreached  |  Actual Points:
Parent ID:  #12541                     |         Points:
 Reviewer:                             |        Sponsor:
---------------------------------------+----------------------------------
Changes (by pastly):

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


Comment:

 They are now marked obsolete in config.c and unused. See b2c56eacdd

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