#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
_______________________________________________ tor-bugs mailing list tor-bugs@lists.torproject.org https://lists.torproject.org/cgi-bin/mailman/listinfo/tor-bugs