[tor-bugs] #13060 [Tor]: Remove the ability to mark relays as Bad directories

[Tor Bug Tracker & Wiki]

#13060: Remove the ability to mark relays as Bad directories
-----------------------+------------------------------------
 Reporter:  Sebastian  |          Owner:
     Type:  defect     |         Status:  new
 Priority:  normal     |      Milestone:  Tor: 0.2.6.x-final
Component:  Tor        |        Version:
 Keywords:             |  Actual Points:
Parent ID:  #12898     |         Points:
-----------------------+------------------------------------
 We've never used the feature according to arma, and while it doesn't add
 much complexity, it wouldn't hurt to get rid of it.

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