Re: [tor-bugs] #19567 [Core Tor/Tor]: SR: Fix issues Coverity found:

2016-07-05 Thread Tor Bug Tracker & Wiki
#19567: SR: Fix issues Coverity found: --+ Reporter: dgoulet | Owner: Type: defect| Status: closed Priority: High | Milestone: Tor: 0.2.9.x-final Component: Core Tor/Tor |V

Re: [tor-bugs] #19567 [Core Tor/Tor]: SR: Fix issues Coverity found:

2016-07-05 Thread Tor Bug Tracker & Wiki
#19567: SR: Fix issues Coverity found: --+ Reporter: dgoulet | Owner: Type: defect| Status: merge_ready Priority: High | Milestone: Tor: 0.2.9.x-final Component: Core Tor/Tor |

Re: [tor-bugs] #19567 [Core Tor/Tor]: SR: Fix issues Coverity found:

2016-07-05 Thread Tor Bug Tracker & Wiki
#19567: SR: Fix issues Coverity found: --+ Reporter: dgoulet | Owner: Type: defect| Status: needs_review Priority: High | Milestone: Tor: 0.2.9.x-final Component: Core Tor/Tor |

Re: [tor-bugs] #19567 [Core Tor/Tor]: SR: Fix issues Coverity found:

2016-07-04 Thread Tor Bug Tracker & Wiki
#19567: SR: Fix issues Coverity found: --+ Reporter: dgoulet | Owner: Type: defect| Status: needs_review Priority: High | Milestone: Tor: 0.2.9.x-final Component: Core Tor/Tor |

Re: [tor-bugs] #19567 [Core Tor/Tor]: SR: Fix issues Coverity found:

2016-07-04 Thread Tor Bug Tracker & Wiki
#19567: SR: Fix issues Coverity found: --+ Reporter: dgoulet | Owner: Type: defect| Status: new Priority: High | Milestone: Tor: 0.2.9.x-final Component: Core Tor/Tor |Vers

[tor-bugs] #19567 [Core Tor/Tor]: SR: Fix issues Coverity found:

2016-07-04 Thread Tor Bug Tracker & Wiki
#19567: SR: Fix issues Coverity found: ---+ Reporter: dgoulet| Owner: Type: defect | Status: new Priority: High | Milestone: Tor: 0.2.9.x-final Component: Core Tor/Tor |