PTR(IPV4["spike-01.he"], "spike-01.he.openstreetmap.org."),
PTR(IPV4["spike-02.he"], "spike-02.he.openstreetmap.org."),
PTR(IPV4["spike-03.he"], "spike-03.he.openstreetmap.org."),
- PTR(IPV4["switch1.he.dub"], "switch1.he.dub.openstreetmap.org.")
+ PTR(IPV4["switch1.he.dub"], "switch1.he.dub.openstreetmap.org."),
);