[tor-bugs] #33188 [Core Tor/Tor]: Tor Manual: Alphabetize Server and Directory Server Options
Tor Bug Tracker & Wiki
blackhole at torproject.org
Wed Feb 12 18:41:48 UTC 2020
#33188: Tor Manual: Alphabetize Server and Directory Server Options
-------------------------------------------------+-------------------------
Reporter: swati | Owner: (none)
Type: task | Status:
| merge_ready
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:
-------------------------------------------------+-------------------------
Changes (by catalyst):
* status: needs_revision => merge_ready
Comment:
Replying to [comment:11 swati]:
> Hi catalyst, could you please add a changes file to this ticket and
merge it?
Thanks! Looks good to me. I created a changes file.
Merge instructions: pull request including the changes file is at
https://github.com/torproject/tor/pull/1728
please merge that one.
--
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/33188#comment:12>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online
More information about the tor-bugs
mailing list