Re: [tor-bugs] #31859 [Core Tor/Tor]: Delete similar CI jobs

2019-12-10 Thread Tor Bug Tracker & Wiki
#31859: Delete similar CI jobs --+ Reporter: teor | Owner: teor Type: task | Status: closed Priority: Medium| Milestone: Tor: 0.4.3.x-final Component: Core Tor/Tor |Ver

Re: [tor-bugs] #31859 [Core Tor/Tor]: Delete similar CI jobs

2019-11-27 Thread Tor Bug Tracker & Wiki
#31859: Delete similar CI jobs --+ Reporter: teor | Owner: teor Type: task | Status: closed Priority: Medium| Milestone: Tor: 0.4.3.x-final Component: Core Tor/Tor |Ver

Re: [tor-bugs] #31859 [Core Tor/Tor]: Delete similar CI jobs

2019-09-26 Thread Tor Bug Tracker & Wiki
#31859: Delete similar CI jobs --+ Reporter: teor | Owner: teor Type: task | Status: closed Priority: Medium| Milestone: Tor: 0.4.3.x-final Component: Core Tor/Tor |Ver

[tor-bugs] #31859 [Core Tor/Tor]: Delete similar CI jobs

2019-09-25 Thread Tor Bug Tracker & Wiki
#31859: Delete similar CI jobs --+ Reporter: teor | Owner: teor Type: task | Status: assigned Priority: Medium| Milestone: Tor: 0.4.3.x-final Component: Core Tor/Tor |V