Re: [tor-bugs] #28853 [Core Tor/Tor]: parse_short_policy() could be faster

2019-01-09 Thread Tor Bug Tracker & Wiki
#28853: parse_short_policy() could be faster -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: closed Priority: Medium | Milestone: Tor:

Re: [tor-bugs] #28853 [Core Tor/Tor]: parse_short_policy() could be faster

2018-12-18 Thread Tor Bug Tracker & Wiki
#28853: parse_short_policy() could be faster -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: closed Priority: Medium | Milestone: Tor:

Re: [tor-bugs] #28853 [Core Tor/Tor]: parse_short_policy() could be faster

2018-12-18 Thread Tor Bug Tracker & Wiki
#28853: parse_short_policy() could be faster -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: merge_ready Priority: Medium | Milestone: Tor:

Re: [tor-bugs] #28853 [Core Tor/Tor]: parse_short_policy() could be faster

2018-12-16 Thread Tor Bug Tracker & Wiki
#28853: parse_short_policy() could be faster -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: needs_review Priority: Medium | Milestone: Tor:

Re: [tor-bugs] #28853 [Core Tor/Tor]: parse_short_policy() could be faster

2018-12-14 Thread Tor Bug Tracker & Wiki
#28853: parse_short_policy() could be faster -+ Reporter: nickm| Owner: nickm Type: enhancement | Status: assigned Priority: Medium | Milestone: Tor:

[tor-bugs] #28853 [Core Tor/Tor]: parse_short_policy() could be faster

2018-12-14 Thread Tor Bug Tracker & Wiki
#28853: parse_short_policy() could be faster --+- Reporter: nickm | Owner: nickm Type: enhancement | Status: assigned Priority: Medium| Milestone: Tor: 0.4.0.x-final Component: