From f614ba8b24487903a879cbecaa02be62ea7cec84 Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Wed, 28 Aug 2002 13:45:51 +0000
Subject: Mention support@proofgeneral.org address.

---
 html/mailinglist | 6 ++++++
 1 file changed, 6 insertions(+)

(limited to 'html')

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>
-- 
cgit v1.2.3