From f59231cc28c1ce702ee94b95c5a11a6323ea7ac8 Mon Sep 17 00:00:00 2001
From: Ben Cartwright-Cox <ben@benjojo.co.uk>
Date: Sat, 19 Feb 2022 15:06:21 +0000
Subject: [PATCH] Add tools.dn42 domain name

At some stage i'll link up dn42.tools to work up correctly.

In the mean time, I'd like to get the DNS bit out of the way
---
 data/dns/tools.dn42 | 8 ++++++++
 1 file changed, 8 insertions(+)
 create mode 100644 data/dns/tools.dn42

diff --git a/data/dns/tools.dn42 b/data/dns/tools.dn42
new file mode 100644
index 000000000..438ec98d8
--- /dev/null
+++ b/data/dns/tools.dn42
@@ -0,0 +1,8 @@
+domain:             tools.dn42
+descr:              bgp.tools but for dn42
+admin-c:            BENJ-DN42
+tech-c:             BENJ-DN42
+mnt-by:             BNJO-MNT
+nserver:            ns.tools.dn42 172.21.82.49
+nserver:            ns.tools.dn42 fd04:840d:30aa::53
+source:             DN42