Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-23 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: closed Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-22 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: merge_ready Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-22 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-22 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-22 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-22 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-17 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-09 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-09 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-08 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-03 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-01 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-01 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-01 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-01 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-10-01 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_revision Priority: Medium| Milestone:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-09-18 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-09-16 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-09-11 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: needs_review Priority: Medium| Milestone: Tor:

Re: [tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-09-11 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress --+ Reporter: nickm | Owner: nickm Type: task | Status: assigned Priority: Medium| Milestone: Tor:

[tor-bugs] #31705 [Core Tor/Tor]: Add sufficient coccinelle tooling to run coccinelle without stress

2019-09-11 Thread Tor Bug Tracker & Wiki
#31705: Add sufficient coccinelle tooling to run coccinelle without stress ---+ Reporter: nickm | Owner: nickm Type: task | Status: assigned Priority: Medium | Milestone: Tor: