Re: [tor-bugs] #28037 [Core Tor/Tor]: Document how to fix or disable failing CI

2019-05-16 Thread Tor Bug Tracker & Wiki
#28037: Document how to fix or disable failing CI -+- Reporter: teor | Owner: (none) Type: enhancement | Status:

[tor-bugs] #28037 [Core Tor/Tor]: Document how to fix or disable failing CI

2018-10-14 Thread Tor Bug Tracker & Wiki
#28037: Document how to fix or disable failing CI --+ Reporter: teor | Owner: teor Type: enhancement | Status: assigned Priority: Medium| Milestone: Tor: 0.3.6.x-final Component: C