Re: [tor-bugs] #25067 [Core Tor/Tor]: Wrap types in protover.rs

2018-02-08 Thread Tor Bug Tracker & Wiki
#25067: Wrap types in protover.rs --+ Reporter: frewsxcv | Owner: (none) Type: enhancement | Status: closed Priority: Medium| Milestone: Tor: 0.3.3.x-final Component: Core Tor/Tor |

Re: [tor-bugs] #25067 [Core Tor/Tor]: Wrap types in protover.rs

2018-02-08 Thread Tor Bug Tracker & Wiki
#25067: Wrap types in protover.rs --+ Reporter: frewsxcv | Owner: (none) Type: enhancement | Status: merge_ready Priority: Medium| Milestone: Tor: 0.3.3.x-final Component: Core Tor/Tor |

Re: [tor-bugs] #25067 [Core Tor/Tor]: Wrap types in protover.rs

2018-01-29 Thread Tor Bug Tracker & Wiki
#25067: Wrap types in protover.rs --+-- Reporter: frewsxcv | Owner: (none) Type: enhancement | Status: needs_review Priority: Medium| Milestone: Component: Core Tor/Tor |Version: