diff options
Diffstat (limited to 'html/devel.html')
| -rw-r--r-- | html/devel.html | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/html/devel.html b/html/devel.html index c25bc7af..1d81dc3e 100644 --- a/html/devel.html +++ b/html/devel.html @@ -124,7 +124,7 @@ about any development issues. <p> We have a mailing list for developers, at -<a href="mailto:devel@proofgeneral.org">devel@proofgeneral.org</a>. +<a href="mailto:proofgeneral-devel@inf.ed.ac.uk">proofgeneral-devel@inf.ed.ac.uk</a>. <br> Posting is restricted to list members. To subscribe (or unsubscribe), |