Re: [tor-bugs] #33417 [Core Tor/Tor]: remove nickname from MyFamily man page section

2020-03-05 Thread Tor Bug Tracker & Wiki
#33417: remove nickname from MyFamily man page section + Reporter: nusenu | Owner: (none) Type: defect | Status: closed Priority: Medium | Milestone: Tor: 0.4.4.x-final

Re: [tor-bugs] #33417 [Core Tor/Tor]: remove nickname from MyFamily man page section

2020-03-05 Thread Tor Bug Tracker & Wiki
#33417: remove nickname from MyFamily man page section + Reporter: nusenu | Owner: (none) Type: defect | Status: merge_ready Priority: Medium | Milestone: Tor:

Re: [tor-bugs] #33417 [Core Tor/Tor]: remove nickname from MyFamily man page section

2020-03-05 Thread Tor Bug Tracker & Wiki
#33417: remove nickname from MyFamily man page section + Reporter: nusenu | Owner: (none) Type: defect | Status: needs_review Priority: Medium | Milestone: Tor:

Re: [tor-bugs] #33417 [Core Tor/Tor]: remove nickname from MyFamily man page section

2020-02-24 Thread Tor Bug Tracker & Wiki
#33417: remove nickname from MyFamily man page section + Reporter: nusenu | Owner: (none) Type: defect | Status: new Priority: Medium | Milestone: Tor: 0.4.4.x-final

Re: [tor-bugs] #33417 [Core Tor/Tor]: remove nickname from MyFamily man page section

2020-02-24 Thread Tor Bug Tracker & Wiki
#33417: remove nickname from MyFamily man page section + Reporter: nusenu | Owner: (none) Type: defect | Status: new Priority: Medium | Milestone: Component: Core Tor/Tor|

Re: [tor-bugs] #33417 [Core Tor/Tor]: remove nickname from MyFamily man page section

2020-02-22 Thread Tor Bug Tracker & Wiki
#33417: remove nickname from MyFamily man page section --+ Reporter: nusenu| Owner: (none) Type: defect| Status: new Priority: Medium| Milestone: Component: Core Tor/Tor |Version: