Re: [tor-bugs] #30550 [Core Tor/Tor]: Remove torctl.in from contrib/dist

2019-06-10 Thread Tor Bug Tracker & Wiki
#30550: Remove torctl.in from contrib/dist --+ Reporter: rl1987| Owner: (none) Type: defect| Status: closed Priority: Medium| Milestone: Tor: 0.4.2.x-final Component: Core Tor/Tor

Re: [tor-bugs] #30550 [Core Tor/Tor]: Remove torctl.in from contrib/dist

2019-05-28 Thread Tor Bug Tracker & Wiki
#30550: Remove torctl.in from contrib/dist --+ Reporter: rl1987| Owner: (none) Type: defect| Status: merge_ready Priority: Medium| Milestone: Tor: 0.4.2.x-final Component: Core To

Re: [tor-bugs] #30550 [Core Tor/Tor]: Remove torctl.in from contrib/dist

2019-05-28 Thread Tor Bug Tracker & Wiki
#30550: Remove torctl.in from contrib/dist --+-- Reporter: rl1987| Owner: (none) Type: defect| Status: merge_ready Priority: Medium| Milestone: Tor: unspecified Component: Core Tor/To

Re: [tor-bugs] #30550 [Core Tor/Tor]: Remove torctl.in from contrib/dist

2019-05-21 Thread Tor Bug Tracker & Wiki
#30550: Remove torctl.in from contrib/dist --+-- Reporter: rl1987| Owner: (none) Type: defect| Status: needs_review Priority: Medium| Milestone: Tor: unspecified Component: Core Tor/T

Re: [tor-bugs] #30550 [Core Tor/Tor]: Remove torctl.in from contrib/dist

2019-05-21 Thread Tor Bug Tracker & Wiki
#30550: Remove torctl.in from contrib/dist --+-- Reporter: rl1987| Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: unspecified Component: Core Tor/Tor |

[tor-bugs] #30550 [Core Tor/Tor]: Remove torctl.in from contrib/dist

2019-05-21 Thread Tor Bug Tracker & Wiki
#30550: Remove torctl.in from contrib/dist --+-- Reporter: rl1987| Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Tor: unspecified Component: Core Tor/Tor |