diff options
Diffstat (limited to 'html')
| -rw-r--r-- | html/mailinglist | 2 |
1 files changed, 1 insertions, 1 deletions
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. |