[tor-bugs] #10124 [Tor]: Documentation and log entries still refer to DirServer

[Tor Bug Tracker & Wiki]

#10124: Documentation and log entries still refer to DirServer
------------------------+-------------------------------------
     Reporter:  sqrt2   |      Owner:  nickm
         Type:  defect  |     Status:  closed
     Priority:  normal  |  Milestone:  Tor: 0.2.4.x-final
    Component:  Tor     |    Version:
   Resolution:  fixed   |   Keywords:  dirserver documentation
Actual Points:          |  Parent ID:
       Points:          |
------------------------+-------------------------------------

Comment (by nickm):

 sqrt2 wrote one; looks like "git apply" doesn't make new files.  That's
 another point in favor of git format-patch.  Fixed that.

-- 
Ticket URL: <https://trac.torproject.org/projects/tor/ticket/10124#comment:6>
Tor Bug Tracker & Wiki <https://trac.torproject.org/>
The Tor Project: anonymity online