[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