+ridley.openstreetmaps.org:128.40.168.102
+otrs.openstreetmaps.org:128.40.168.102
++blog.openstreetmaps.org:128.40.168.102
+foundation.openstreetmaps.org:128.40.168.102
+ridley.internal.openstreetmaps.org:10.0.0.3
-# Planet dumps are currently served from dev
+# Planet dumps are currently served from horntail
-+planet.openstreetmaps.org:128.40.168.100
++planet.openstreetmaps.org:128.40.168.99
# Spare servers