ides-becomes-turtles 129 B

1234
  1. o Directory authority changes:
  2. - Change IP address for ides (v3 directory authority), and rename it to
  3. turtles.