From 5ce1ca916b67d6cd18fb16c7acbf2454e568ce9d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 20 Nov 2002 16:19:06 +0000
Subject: Updated.

---
 coq/BUGS | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/coq/BUGS b/coq/BUGS
index 42cc2a28..2cec29af 100644
--- a/coq/BUGS
+++ b/coq/BUGS
@@ -19,4 +19,4 @@ rely too much on the etags mechanism.
 
 ** Surely others that aren't mentioned here...
   
-  Please report them to proofgen@dcs.ed.ac.uk.
+  Please report them to bugs@proofgeneral.org
-- 
cgit v1.2.3