[tor-bugs] #6791 [Tor Client]: Deprecate "DirServer"; call them "DirAuthority".

[Tor Bug Tracker & Wiki]

#6791: Deprecate "DirServer"; call them "DirAuthority".
------------------------+---------------------------------------------------
 Reporter:  nickm       |          Owner:                    
     Type:  defect      |         Status:  new               
 Priority:  minor       |      Milestone:  Tor: 0.2.4.x-final
Component:  Tor Client  |        Version:                    
 Keywords:              |         Parent:                    
   Points:              |   Actualpoints:                    
------------------------+---------------------------------------------------

Comment(by arma):

 fine with me

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