Decommission senfl.debian.org

diff --git a/input/howto/dns.mdwn b/input/howto/dns.mdwn
index aa14a29..7fa1642 100644 (file)
--- a/input/howto/dns.mdwn
+++ b/input/howto/dns.mdwn
@@ -2,7 +2,7 @@
 
 ## updating standard resource records
 
-For most zones, the hidden primary DNS server is denis, with ravel, senfl,
+For most zones, the hidden primary DNS server is denis, with ravel,
 klecker and orff being the public-facing secondary DNS servers.
 
 Zone files are managed via a [git repository][1].  Pushing commits into the git