From 9ff6974b7df15fd75a6d36ffa918b30e2db18082 Mon Sep 17 00:00:00 2001
From: Lars Brinkhoff <lars@nocrew.org>
Date: Mon, 26 Nov 2018 12:10:45 +0100
Subject: [PATCH] Remove obsolete host names from LSRDMP.

---
 src/bawden/{lsrdmp.32 => lsrdmp.33} | 8 +-------
 1 file changed, 1 insertion(+), 7 deletions(-)
 rename src/bawden/{lsrdmp.32 => lsrdmp.33} (97%)

diff --git a/src/bawden/lsrdmp.32 b/src/bawden/lsrdmp.33
similarity index 97%
rename from src/bawden/lsrdmp.32
rename to src/bawden/lsrdmp.33
index dcddb4df..a94c3cca 100755
--- a/src/bawden/lsrdmp.32
+++ b/src/bawden/lsrdmp.33
@@ -278,13 +278,7 @@ define hstirp body
 define defhst short,long,mail
 body
 termin
-defhst lcs,lcs.mit.edu,lcs
-defhst ai,ai.mit.edu,ai
-defhst symbolics,symbolics.com,symbolics
-defhst mc,mc,flush
-defhst ml,ml,flush
-defhst wh,wheaties,ai
-defhst oz,oz,ai
+defhst db,db,db
 termin
 
 localp:	0			; non-0 => output local entries instead.