From d9584fe0ede8c6afa81a95bbee81d57ba88fe5e3 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 28 Jun 1999 13:44:49 +0000
Subject: Fixed email addresses

---
 html/register.phtml | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/html/register.phtml b/html/register.phtml
index 454b9890..1b9c8f7c 100644
--- a/html/register.phtml
+++ b/html/register.phtml
@@ -76,7 +76,7 @@ for using Proof General.
 	    . "\nEmail:\t\t " . $email
 	    . "\nSite:\t\t " . $site
 	    . "\nSubmitted:\t" . date("h:ia D jS F Y");
-   mail("da", /* "proofgen@dcs.ed.ac.uk", */
+   mail("proofgen@dcs.ed.ac.uk",
 	"[Registration form from ~proofgen]",
 	 $message);
    
@@ -89,7 +89,7 @@ for using Proof General.
 
    if ($mailinglist) {
 	$message = "subscribe proofgeneral"; 
-	mail("da", /* "majordomo@dcs.ed.ac.uk", */
+	mail("majordomo@dcs.ed.ac.uk",
 	     "[Web form from ~proofgen]",
 	     $message,
 	    "Reply-To: " . $email . "\nFrom: " . $email);
-- 
cgit v1.2.3