diff options
Diffstat (limited to 'html/register.html')
| -rw-r--r-- | html/register.html | 4 |
1 files changed, 2 insertions, 2 deletions
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 <a href="download#prereq">the download page</a>. . "\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 <a href="download#prereq">the download page</a>. 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); |