[tor-bugs] #18164 [Core Tor/DirAuth]: Clean out old dirauth bad.conf entries

[Tor Bug Tracker & Wiki]

#18164: Clean out old dirauth bad.conf entries
------------------------------+-----------------------------
 Reporter:  micah             |          Owner:
     Type:  defect            |         Status:  closed
 Priority:  Medium            |      Milestone:
Component:  Core Tor/DirAuth  |        Version:
 Severity:  Normal            |     Resolution:  implemented
 Keywords:  dirauth           |  Actual Points:
Parent ID:                    |         Points:
 Reviewer:                    |        Sponsor:
------------------------------+-----------------------------
Changes (by dgoulet):

 * status:  new => closed
 * resolution:   => implemented


Comment:

 We've done that up to start of 2016.

 You can find them here monitored by DocTor:

 http://jqs44zhtxl2uo6gk.onion/doctor.git/commit/?id=4f975a20023cac8814b6eb6a8c97edbf67c5ecf0

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