[tor-bugs] #15775 [Tor]: Add Fallback Directory List to add_default_fallback_dir_servers()

[Tor Bug Tracker & Wiki]

#15775: Add Fallback Directory List to add_default_fallback_dir_servers()
-----------------------------+--------------------------------
     Reporter:  teor         |      Owner:
         Type:  enhancement  |     Status:  needs_information
     Priority:  normal       |  Milestone:  Tor: 0.2.8.x-final
    Component:  Tor          |    Version:  Tor: 0.2.4.7-alpha
   Resolution:               |   Keywords:
Actual Points:               |  Parent ID:  #15228
       Points:               |
-----------------------------+--------------------------------

Comment (by nickm):

 Suggestions for the script: have it also emit (in comments) the name and
 contact info for each such directory?

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