[tor-bugs] #12899 [Tor]: Remove dirauth related naming stuff

[Tor Bug Tracker & Wiki]

#12899: Remove dirauth related naming stuff
---------------------------+--------------------------------
     Reporter:  Sebastian  |      Owner:
         Type:  defect     |     Status:  needs_review
     Priority:  normal     |  Milestone:  Tor: 0.2.6.x-final
    Component:  Tor        |    Version:
   Resolution:             |   Keywords:  026-triaged-1
Actual Points:             |  Parent ID:  #12898
       Points:             |
---------------------------+--------------------------------

Comment (by Sebastian):

 the bad-relays file stuff is being tracked in #13059, so this can be
 reviewed, merged & closed independently.

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