Re: [tor-bugs] #26997 [Core Tor/Tor]: tor_api: Do we want an easier way to set options?

2020-02-04 Thread Tor Bug Tracker & Wiki
#26997: tor_api: Do we want an easier way to set options? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: unspecified Component: Core

Re: [tor-bugs] #26997 [Core Tor/Tor]: tor_api: Do we want an easier way to set options?

2018-07-31 Thread Tor Bug Tracker & Wiki
#26997: tor_api: Do we want an easier way to set options? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: unspecified Component: Core

[tor-bugs] #26997 [Core Tor/Tor]: tor_api: Do we want an easier way to set options?

2018-07-31 Thread Tor Bug Tracker & Wiki
#26997: tor_api: Do we want an easier way to set options? --+-- Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: unspecified Component: