Clean up some obsolete comments about decommissioned systems

diff --git a/config/nagios-master.cfg b/config/nagios-master.cfg
index 0e0d017..3dd215a 100644 (file)
--- a/config/nagios-master.cfg
+++ b/config/nagios-master.cfg
@@ -681,7 +681,6 @@ servers:
     contacts: pkern
   # }}}
   # {{{ gw-man-da
-  # bartok TODO
   czerny:
     address: 82.195.75.109
     parents: gw-man-da
@@ -808,11 +807,6 @@ servers:
     address: 140.211.166.198
     parents: pieta
     hostgroups: computers, jessie, hassrvfs, porterbox
-  # malo TODO
-#  mayr:
-#    address: 140.211.166.58
-#    parents: gw-osuosl
-#    hostgroups: computers, buildd, hasbootfs
   merulo:
     address: 140.211.166.46
     parents: gw-osuosl
@@ -830,7 +824,6 @@ servers:
     address: 140.211.166.44
     parents: rietz
     hostgroups: secondary-IPs
-  # zee TODO
   # }}}
   # {{{ gs-rapidswitch
   caballero: