[tor-bugs] #14093 [Tor]: set_options():

[Tor Bug Tracker & Wiki]

#14093: set_options():
---------------------------+--------------------------------
     Reporter:  thefabio   |      Owner:
         Type:  defect     |     Status:  closed
     Priority:  normal     |  Milestone:  Tor: 0.2.4.x-final
    Component:  Tor        |    Version:  Tor: 0.2.4.23
   Resolution:  not a bug  |   Keywords:
Actual Points:             |  Parent ID:
       Points:             |
---------------------------+--------------------------------
Changes (by nickm):

 * status:  new => closed
 * resolution:   => not a bug


Comment:

 Hi, and sorry for the delay!  If you are still having this problem, please
 contact help at rt.torproject.org -- this website is for tracking bugs, and
 the problem does not appear to be in our software.

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