From 725a2e827151a04eb706d9d3abfaa8962e30f0d6 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 17:55:15 +0000
Subject: proofgeneral email address for me

---
 Makefile.devel | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/Makefile.devel b/Makefile.devel
index 0d89c988..fa2a3ceb 100644
--- a/Makefile.devel
+++ b/Makefile.devel
@@ -59,7 +59,7 @@
 # Arguments for rcs2log for ChangeLog target
 
 DEVELOPERS=\
--u "da	David Aspinall	da@dcs.ed.ac.uk" \
+-u "da	David Aspinall	da@proofgeneral.org" \
 -u "markus	Markus Wenzel	wenzelm@informatik.tu-muenchen.de" \
 -u "pier	Pierre Courtieu	courtieu@lri.fr" \
 -u "crr	Christophe Raffalli	Christophe.Raffalli@univ-savoie.fr" \
-- 
cgit v1.2.3