From 71b52dac340d4dd55ab420628a51123781c7fc1d Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 17 Feb 2003 20:44:11 +0000
Subject: Update addresses
---
html/register.html | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
(limited to 'html/register.html')
diff --git a/html/register.html b/html/register.html
index 097d8441..2b8ed157 100644
--- a/html/register.html
+++ b/html/register.html
@@ -78,7 +78,7 @@ again, so return to the download page.
. "\nEmail:\t\t " . $email
. "\nSite:\t\t " . $site
. "\nSubmitted:\t" . date("h:ia D jS F Y");
- mail("proofgen@dcs.ed.ac.uk",
+ mail("register@proofgeneral.org",
"[Registration form from ~proofgen]",
$message);
@@ -91,7 +91,7 @@ again, so return to the download page.
if ($mailinglist) {
$message = "subscribe proofgeneral";
- mail("majordomo@dcs.ed.ac.uk",
+ mail("mailman@inf.ed.ac.uk",
"[Web form from ~proofgen]",
$message,
"Reply-To: " . $email . "\nFrom: " . $email);
--
cgit v1.2.3