Re: [tor-bugs] #31027 [Core Tor/Tor]: Coverity: circpadding: dead code in circpad_machine_remove_token

2019-08-19 Thread Tor Bug Tracker & Wiki
#31027: Coverity: circpadding: dead code in circpad_machine_remove_token --+ Reporter: nickm | Owner: (none) Type: defect| Status: closed Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31027 [Core Tor/Tor]: Coverity: circpadding: dead code in circpad_machine_remove_token

2019-08-15 Thread Tor Bug Tracker & Wiki
#31027: Coverity: circpadding: dead code in circpad_machine_remove_token --+ Reporter: nickm | Owner: (none) Type: defect| Status: merge_ready Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31027 [Core Tor/Tor]: Coverity: circpadding: dead code in circpad_machine_remove_token

2019-07-01 Thread Tor Bug Tracker & Wiki
#31027: Coverity: circpadding: dead code in circpad_machine_remove_token --+ Reporter: nickm | Owner: (none) Type: defect| Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31027 [Core Tor/Tor]: Coverity: circpadding: dead code in circpad_machine_remove_token

2019-07-01 Thread Tor Bug Tracker & Wiki
#31027: Coverity: circpadding: dead code in circpad_machine_remove_token --+ Reporter: nickm | Owner: (none) Type: defect| Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31027 [Core Tor/Tor]: Coverity: circpadding: dead code in circpad_machine_remove_token

2019-07-01 Thread Tor Bug Tracker & Wiki
#31027: Coverity: circpadding: dead code in circpad_machine_remove_token --+ Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor:

[tor-bugs] #31027 [Core Tor/Tor]: Coverity: circpadding: dead code in circpad_machine_remove_token

2019-06-28 Thread Tor Bug Tracker & Wiki
#31027: Coverity: circpadding: dead code in circpad_machine_remove_token --+ Reporter: nickm | Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: