1 files changed, 1 insertions, 1 deletions
diff --git a/FAQ b/FAQ
index e6a845a0..f0aae0a7 100644
--- a/FAQ
+++ b/FAQ
@@ -218,7 +218,7 @@ A. Of course, email "proofgeneral-request@informatics.ed.ac.uk"
    user's and announcements list.
 
    There is also a list for developers, proofgeneral-devel
-   Visit http://www.proofgeneral.org/mailinglist for more details.
+   Visit http://proofgeneral.inf.ed.ac.uk/mailinglist for more details.
 
 
 -----------------------------------------------------------------