From 576d3f177f6912505ee2fe6bde2c582f56c1c696 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Sun, 14 Jul 2002 12:30:19 +0000
Subject: Typo

---
 html/mailinglist | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'html')

diff --git a/html/mailinglist b/html/mailinglist
index b7b81c4a..402047b0 100644
--- a/html/mailinglist
+++ b/html/mailinglist
@@ -30,7 +30,7 @@ The canonical mailing list address is
 <a href="mailto:users@proofgeneral.org"><tt>users@proofgeneral.org</tt></a>.
 <br>
 This is an alias for
-<tt>proofgeneral@informtics.ed.ac.uk</tt>.
+<tt>proofgeneral@informatics.ed.ac.uk</tt>.
 </p>
 <p>
 In an effort to prevent spam, posting is restricted to list members.
-- 
cgit v1.2.3