Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-10-29 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: closed Priority: Medium

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-08-09 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_revision Priority: Me

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-08-09 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status:

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-08-09 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status:

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-08-09 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_review Priority: Medi

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-08-09 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_review Priority: Medi

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-08-09 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_review Priority: Medi

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-08-08 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) +-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status:

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-06-02 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+ Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_information Priority: Medium| Milestone: Tor: 0

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-06-02 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+ Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_information Priority: Medium| Milestone: Tor: 0

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-06-02 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+ Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_information Priority: Medium| Milestone: Tor: 0

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-05-21 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+ Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_review Priority: Medium| Milestone: Tor: 0.3.4.

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-05-16 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+ Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_review Priority: Medium| Milestone: Tor: 0.3.4.

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-05-07 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+ Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_revision Priority: Medium| Milestone: Tor: 0.3.

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-05-07 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+ Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_review Priority: Medium| Milestone: Tor: 0.3.4.

Re: [tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-05-07 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: needs_review Priority: Medium| Milestone: Component: Core T

[tor-bugs] #26038 [Core Tor/Tor]: Misc Rust/Cargo improvements (incl. use global cargo cache)

2018-05-07 Thread Tor Bug Tracker & Wiki
#26038: Misc Rust/Cargo improvements (incl. use global cargo cache) --+-- Reporter: Hello71 | Owner: Hello71 Type: enhancement | Status: assigned Priority: Medium| Milestone: Component: Core Tor/T