src/ptr_he_dub_ipv6.js

   1 D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   2   PTR(CULEBRE_IPV6_HE, "culebre.openstreetmap.org."),
   3   PTR(FAFNIR_IPV6_HE, "fafnir.openstreetmap.org."),
   4   PTR(FUME_IPV6_HE, "fume.openstreetmap.org."),
   5   PTR(GRISU_IPV6_HE, "grisu.openstreetmap.org."),
   6   PTR(HORNTAIL_IPV6_HE, "horntail.openstreetmap.org."),
   7   PTR(IDRIS_IPV6_HE, "idris.openstreetmap.org."),
   8   PTR(KONQI_IPV6_HE, "konqi.openstreetmap.org."),
   9   PTR(LONGMA_IPV6_HE, "longma.openstreetmap.org."),
  10   PTR(MUIRDRIS_IPV6_HE.split(".").pop(), "muirdris.openstreetmap.org."),
  11   PTR(NAGA_IPV6_HE, "naga.openstreetmap.org."),
  12   PTR(SMAUG_IPV6_HE.split(".").pop(), "smaug.openstreetmap.org."),
  13   PTR(SPIKE01_IPV6_HE, "spike-01.openstreetmap.org."),
  14   PTR(SPIKE02_IPV6_HE, "spike-02.openstreetmap.org."),
  15   PTR(SPIKE03_IPV6_HE, "spike-03.openstreetmap.org."),
  16   PTR(SWITCH1DUB_IPV6_HE, "switch1.dub.openstreetmap.org.")
  17 );