Update directory authority addresses to recent tor.git
Trivial patch, compare against default_authorities
in src/or/config.c
starting at line 902:
diff --git a/src/main/resources/collector.properties b/src/main/resources/collector.properties
index e7d41ae..a64ef0f 100644
--- a/src/main/resources/collector.properties
+++ b/src/main/resources/collector.properties
@@ -64,7 +64,7 @@ DownloadRelayDescriptors = false
#
## Comma separated list of directory authority addresses (IP[:port]) to
## download missing relay descriptors from
-DirectoryAuthoritiesAddresses = 86.59.21.38,76.73.17.194:9030,171.25.193.9:443,193.23.244.244,208.83.223.34:443,128.31.0.34:9131,194.109.206.212,212.112.245.170,154.35.32.5
+DirectoryAuthoritiesAddresses = 128.31.0.39:9131,86.59.21.38,194.109.206.212,131.188.40.189,193.23.244.244,171.25.193.9:443,154.35.175.225,199.254.238.52
#
## Comma separated list of directory authority fingerprints to download
## votes