quick, before anybody notices

diff --git a/modules/ferm/files/defs.conf b/modules/ferm/files/defs.conf
index d368667fe2547b2f2ec8a331b0b7e470af0038e1..3e18b137e0cb26a1cf87bd0e4bc00976194a0e70 100644 (file)
--- a/modules/ferm/files/defs.conf
+++ b/modules/ferm/files/defs.conf
@@ -19,7 +19,7 @@
 @def $HOST_NAGIOS = (206.12.19.118);
 
 @def $sgran   = (91.103.132.24/29);
-@def $weasel  = ()
+@def $weasel  = ();
 @def $weasel  = ($weasel 86.59.118.144/28); # debian@sil
 @def $weasel  = ($weasel 86.59.21.32/29); # anguilla1
 @def $weasel  = ($weasel 86.59.30.32/28); # anguilla2