src/ptr_he_dub_ipv6.js

   1 D(DOMAIN, REGISTRAR, DnsProvider(PROVIDER),
   2   PTR(IPV6["culebre.he"], "culebre.he.openstreetmap.org."),
   3   PTR(IPV6["fafnir.he"], "fafnir.he.openstreetmap.org."),
   4   PTR(IPV6["fume.he"], "fume.he.openstreetmap.org."),
   5   PTR(IPV6["grisu.he"], "grisu.he.openstreetmap.org."),
   6   PTR(IPV6["horntail.he"], "horntail.he.openstreetmap.org."),
   7   PTR(IPV6["idris.he"], "idris.he.openstreetmap.org."),
   8   PTR(IPV6["konqi.he"], "konqi.he.openstreetmap.org."),
   9   PTR(IPV6["longma.he"], "longma.he.openstreetmap.org."),
  10   PTR(IPV6["muirdris.he"], "muirdris.he.openstreetmap.org."),
  11   PTR(IPV6["naga.he"], "naga.he.openstreetmap.org."),
  12   PTR(IPV6["smaug.he"], "smaug.he.openstreetmap.org."),
  13   PTR(IPV6["spike-01.he"], "spike-01.he.openstreetmap.org."),
  14   PTR(IPV6["spike-02.he"], "spike-02.he.openstreetmap.org."),
  15   PTR(IPV6["spike-03.he"], "spike-03.he.openstreetmap.org."),
  16   PTR(IPV6["switch1.he.dub"], "switch1.he.dub.openstreetmap.org.")
  17 );