Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2020-03-02 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. -+- Reporter: nickm| Owner: (none) Type: enhancement | Status:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2020-03-02 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. -+- Reporter: nickm| Owner: (none) Type: enhancement | Status:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2019-01-14 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. -+- Reporter: nickm| Owner: nickm Type: enhancement | Status:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-09-25 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_information Priority: Medium| Milestone:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-09-11 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_information Priority: Medium| Milestone:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-09-10 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_information Priority: Medium| Milestone:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-09-04 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_information Priority: Medium| Milestone:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-09-01 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_information Priority: Medium| Milestone:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-08-31 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_information Priority: Medium| Milestone:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-08-29 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_information Priority: Medium| Milestone:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-08-27 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-08-21 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-08-21 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: nickm Type: enhancement | Status: accepted Priority: Medium| Milestone: Tor: 0.3

[tor-bugs] #27241 [Core Tor/Tor]: Extract information from more kinds of wedged directory connections.

2018-08-21 Thread Tor Bug Tracker & Wiki
#27241: Extract information from more kinds of wedged directory connections. --+ Reporter: nickm | Owner: (none) Type: enhancement | Status: assigned Priority: Medium| Milestone: Tor: 0.