[tor-bugs] #5569 [Tor Directory Authority]: ides has relocated and become turtles

[Tor Bug Tracker & Wiki]

#5569: ides has relocated and become turtles
-------------------------------------+--------------------------------------
 Reporter:  mikeperry                |          Owner:  arma        
     Type:  task                     |         Status:  needs_review
 Priority:  normal                   |      Milestone:              
Component:  Tor Directory Authority  |        Version:              
 Keywords:                           |         Parent:              
   Points:                           |   Actualpoints:              
-------------------------------------+--------------------------------------

Comment(by Sebastian):

 Also, you'll want to tell karsten about this. Because maybe some of the
 metrics stuff cares about ides being called ides.

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