[tor-bugs] #33188 [Core Tor/Tor]: Tor Manual: Alphabetize Server and Directory Server Options
Tor Bug Tracker & Wiki
blackhole at torproject.org
Tue Feb 11 19:28:43 UTC 2020
#33188: Tor Manual: Alphabetize Server and Directory Server Options
-------------------------------------------------+-------------------------
Reporter: swati | Owner: (none)
Type: task | Status:
| needs_review
Priority: Medium | Milestone:
Component: Core Tor/Tor | Version:
Severity: Normal | Resolution:
Keywords: documentation tor-client manpage | Actual Points:
easy 043-can |
Parent ID: #4310 | Points:
Reviewer: catalyst | Sponsor:
-------------------------------------------------+-------------------------
Comment (by catalyst):
Replying to [comment:4 catalyst]:
> I'll check the Directory Server options in another comment.
Looks like I got my script for checking the Directory Server options
wrong, and it was capturing more than I expected. The Directory Server
options look like they're sorted correctly.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33188#comment:5>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list