From 7c88b8c4d9fc8736bd6ee7db551238ec1f4cd2b9 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sat, 7 Feb 2004 19:12:44 +0000
Subject: Remove more proofgeneral.org mail aliases

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

(limited to 'generic/proof-utils.el')

diff --git a/generic/proof-utils.el b/generic/proof-utils.el
index 61e3d040..82c8c927 100644
--- a/generic/proof-utils.el
+++ b/generic/proof-utils.el
@@ -681,7 +681,7 @@ or if the window is the only window of its frame."
       ((reporter-prompt-for-summary-p 
 	"(Very) brief summary of problem or suggestion: "))
     (reporter-submit-bug-report
-     "bugs@proofgeneral.org"
+     "da+pg-bugs@inf.ed.ac.uk"
      "Proof General" 
      (list 'proof-general-version 'proof-assistant)
      nil nil
-- 
cgit v1.2.3