From 627f01c44ef2aa294c5e27697e863c6795f6b125 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:01 +0000
Subject: Fix bug email address to bugs@proofgeneral.org

---
 generic/proof-utils.el | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 30807443..7816bd3f 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -535,7 +535,7 @@ Returns non-nil if response buffer was cleared."
       ((reporter-prompt-for-summary-p 
 	"(Very) brief summary of problem or suggestion: "))
     (reporter-submit-bug-report
-     "proofgen@dcs.ed.ac.uk"
+     "bugs@proofgeneral.org"
      "Proof General" 
      (list 'proof-general-version 'proof-assistant)
      nil nil
-- 
cgit v1.2.3