Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-24 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script ---+ Reporter: teor | Owner: (none) Type: enhancement| Status: closed Priority: Medium

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-24 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script ---+ Reporter: teor | Owner: (none) Type: enhancement| Status: needs_revision Priority: M

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-24 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script ---+ Reporter: teor | Owner: (none) Type: enhancement| Status: needs_review Priority: Med

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-24 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script ---+ Reporter: teor | Owner: (none) Type: enhancement| Status: merge_ready Priority: Medi

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-24 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: merge_ready Priority: Medium| Milestone:

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-24 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: merge_ready Priority: Medium| Milestone:

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-24 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_review Priority: Medium| Milestone

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-23 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_review Priority: Medium| Milestone

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-23 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_revision Priority: Medium| Milesto

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-23 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_revision Priority: Medium| Milesto

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-23 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_revision Priority: Medium| Milesto

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-23 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_revision Priority: Medium| Milesto

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-23 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_revision Priority: Medium| Milesto

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-22 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_review Priority: Medium| Milestone

Re: [tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-22 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: needs_review Priority: Medium| Milestone

[tor-bugs] #31919 [Core Tor/Tor]: Add a check-local target that runs our coccinelle parsing problems script

2019-10-01 Thread Tor Bug Tracker & Wiki
#31919: Add a check-local target that runs our coccinelle parsing problems script --+ Reporter: teor | Owner: (none) Type: enhancement | Status: new Priority: Medium| Milestone: Tor: 0