From 3c4e89e92f4200f65c6b2d8497c62ed560cfbcaa Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 27 Sep 2000 14:28:52 +0000
Subject: Updated web pages, misc improvements.

---
 html/feedback.phtml | 6 +++---
 1 file changed, 3 insertions(+), 3 deletions(-)

(limited to 'html/feedback.phtml')

diff --git a/html/feedback.phtml b/html/feedback.phtml
index 6413f83b..17dc974c 100644
--- a/html/feedback.phtml
+++ b/html/feedback.phtml
@@ -21,8 +21,8 @@ or offers to help with Proof Generl development.
 <br>
 Or send email directly to
 the 
-<a href="mailto:proofgen@dcs.ed.ac.uk">Proof General maintainer
-&lt;proofgen@dcs.ed.ac.uk&gt;</a>.
+<a href="mailto:feedback@proofgeneral.org">Proof General maintainer
+&lt;feedback@proofgeneral.org&gt;</a>.
 </p>
 <p>
 You can also report a bug using this form, although it would
@@ -77,7 +77,7 @@ Dear Proof General developers,
    print "If you provided a valid return email address, somebody from the Proof General team will acknowledge your message after it has been read.";
    print "</p>";
 
-   mail("da", /*"proofgen@dcs.ed.ac.uk",*/
+   mail("feedback@proofgeneral.org",
 	"[Web Feedback Form]: " . $subject,
 	$message,
         "Reply-To: " . $from . "\n");
-- 
cgit v1.2.3