[tor-bugs] #22172 [Core Tor/Tor]: prop140: What to do when a diff fails to apply?

2017-05-05 Thread Tor Bug Tracker & Wiki
#22172: prop140: What to do when a diff fails to apply? --+ Reporter: nickm | Owner: Type: defect| Status: new Priority: Medium| Milestone: Tor: 0.3.1.x-final Component: Core T

Re: [tor-bugs] #22172 [Core Tor/Tor]: prop140: What to do when a diff fails to apply?

2017-05-08 Thread Tor Bug Tracker & Wiki
#22172: prop140: What to do when a diff fails to apply? --+ Reporter: nickm | Owner: nickm Type: defect| Status: accepted Priority: Medium| Milestone: Tor: 0.3.1.x-final Component:

Re: [tor-bugs] #22172 [Core Tor/Tor]: prop140: What to do when a diff fails to apply?

2017-05-11 Thread Tor Bug Tracker & Wiki
#22172: prop140: What to do when a diff fails to apply? --+ Reporter: nickm | Owner: nickm Type: defect| Status: accepted Priority: Medium| Milestone: Tor: 0.3.1.x-final Component:

Re: [tor-bugs] #22172 [Core Tor/Tor]: prop140: What to do when a diff fails to apply?

2017-05-15 Thread Tor Bug Tracker & Wiki
#22172: prop140: What to do when a diff fails to apply? --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_information Priority: Medium| Milestone: Tor: 0.3.1.x-final C

Re: [tor-bugs] #22172 [Core Tor/Tor]: prop140: What to do when a diff fails to apply?

2017-05-16 Thread Tor Bug Tracker & Wiki
#22172: prop140: What to do when a diff fails to apply? --+ Reporter: nickm | Owner: nickm Type: defect| Status: needs_information Priority: Medium| Milestone: Tor: 0.3.1.x-final C

Re: [tor-bugs] #22172 [Core Tor/Tor]: prop140: What to do when a diff fails to apply?

2017-06-16 Thread Tor Bug Tracker & Wiki
#22172: prop140: What to do when a diff fails to apply? --+ Reporter: nickm | Owner: nickm Type: defect| Status: closed Priority: Medium| Milestone: Tor: 0.3.1.x-final Component: