diff options
| -rw-r--r-- | html/mailinglist | 6 |
1 files changed, 6 insertions, 0 deletions
diff --git a/html/mailinglist b/html/mailinglist index 35bed81b..3f2e387f 100644 --- a/html/mailinglist +++ b/html/mailinglist @@ -8,6 +8,12 @@ The Proof General Users mailing list is a low-volume list used for announcements of new versions, and occasional discussions amongst users. </p> +<p> +This list is <i>not</i> for those having problems with the +software: please contact +<a href="mailto:support@proofgeneral.org">support@proofgeneral.org</a> +in the first instance. +</p> <h3>Subscriptions</h3> <p> |