From 05acfead84ac70b6e5162f3fa669129016fe4070 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 25 Aug 2004 21:50:35 +0000
Subject: More proofgeneral.org removals

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

(limited to 'coq')

diff --git a/coq/BUGS b/coq/BUGS
index 2cec29af..1cf1027b 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 bugs@proofgeneral.org
+Please report them to da+pg-bugs@inf.ed.ac.uk
-- 
cgit v1.2.3