From 6c63ba4e1c02600e7539b0b44050e94b40b3b67c Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Fri, 29 Sep 2000 20:42:29 +0000
Subject: Added a new email alias

---
 etc/proofgeneral-domain.txt | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/etc/proofgeneral-domain.txt b/etc/proofgeneral-domain.txt
index fafbf697..7b5b3c48 100644
--- a/etc/proofgeneral-domain.txt
+++ b/etc/proofgeneral-domain.txt
@@ -21,6 +21,8 @@ bugs	      proofgen@dcs.ed.ac.uk
 users	      proofgeneral@dcs.ed.ac.uk
 devel	      proofgeneral-devel@dcs.ed.ac.uk
 majordomo     majordomo@dcs.ed.ac.uk
+da	      da@dcs.ed.ac.uk
+
 
 
 
-- 
cgit v1.2.3