From bcecd4f3d6ea0fa6e03cb3ecbbbfa0a0b9f977c8 Mon Sep 17 00:00:00 2001
From: mohring
Date: Tue, 10 Apr 2001 05:42:15 +0000
Subject: Mise a jour de la config pour distrib

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@1569 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 README | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'README')

diff --git a/README b/README
index 1b2164ee3e..302318a378 100644
--- a/README
+++ b/README
@@ -69,7 +69,7 @@ BUGS REPORT.
 
    Send your bug reports by E-mail to
 
-	coq@pauillac.inria.fr
+	coq-bugs@pauillac.inria.fr
 
    or by snail mail to
 
-- 
cgit v1.2.3