Re: [tor-bugs] #31825 [Core Tor/Tor]: Use the full name of optional modules, rather than an abbreviation

2019-09-25 Thread Tor Bug Tracker & Wiki
#31825: Use the full name of optional modules, rather than an abbreviation -+- Reporter: teor | Owner: teor Type: defect | Status: closed

Re: [tor-bugs] #31825 [Core Tor/Tor]: Use the full name of optional modules, rather than an abbreviation

2019-09-24 Thread Tor Bug Tracker & Wiki
#31825: Use the full name of optional modules, rather than an abbreviation -+- Reporter: teor | Owner: teor Type: defect | Status:

Re: [tor-bugs] #31825 [Core Tor/Tor]: Use the full name of optional modules, rather than an abbreviation

2019-09-24 Thread Tor Bug Tracker & Wiki
#31825: Use the full name of optional modules, rather than an abbreviation -+- Reporter: teor | Owner: teor Type: defect | Status:

Re: [tor-bugs] #31825 [Core Tor/Tor]: Use the full name of optional modules, rather than an abbreviation

2019-09-23 Thread Tor Bug Tracker & Wiki
#31825: Use the full name of optional modules, rather than an abbreviation ---+--- Reporter: teor | Owner: teor Type: defect | Status:

[tor-bugs] #31825 [Core Tor/Tor]: Use the full name of optional modules, rather than an abbreviation

2019-09-23 Thread Tor Bug Tracker & Wiki
#31825: Use the full name of optional modules, rather than an abbreviation ---+--- Reporter: teor | Owner: teor Type: defect | Status: assigned Priority: Medium | Milestone: Tor: 0.4