Re: [tor-bugs] #31181 [Core Tor/Tor]: Deprecate more options in 0.4.3

2020-01-27 Thread Tor Bug Tracker & Wiki
#31181: Deprecate more options in 0.4.3 --+ Reporter: nickm | Owner: (none) Type: task | Status: assigned Priority: Medium| Milestone: Tor: 0.4.3.x-final Component: Core Tor/Tor

Re: [tor-bugs] #31181 [Core Tor/Tor]: Deprecate more options in 0.4.3

2020-01-21 Thread Tor Bug Tracker & Wiki
#31181: Deprecate more options in 0.4.3 --+ Reporter: nickm | Owner: (none) Type: task | Status: assigned Priority: Medium| Milestone: Tor: 0.4.3.x-final Component: Core Tor/Tor

Re: [tor-bugs] #31181 [Core Tor/Tor]: Deprecate more options in 0.4.3

2019-07-18 Thread Tor Bug Tracker & Wiki
#31181: Deprecate more options in 0.4.3 ---+--- Reporter: nickm | Owner: (none) Type: task | Status: assigned Priority: Medium

Re: [tor-bugs] #31181 [Core Tor/Tor]: Deprecate more options in 0.4.3

2019-07-18 Thread Tor Bug Tracker & Wiki
#31181: Deprecate more options in 0.4.3 ---+--- Reporter: nickm | Owner: teor Type: task | Status: new Priority: Medium |

[tor-bugs] #31181 [Core Tor/Tor]: Deprecate more options in 0.4.3

2019-07-17 Thread Tor Bug Tracker & Wiki
#31181: Deprecate more options in 0.4.3 ---+ Reporter: nickm | Owner: teor Type: task | Status: assigned Priority: Medium | Milestone: Tor: 0.4.3.x-final Component: Core