From ec8b8a5ebd913ace8bc746bdb5f93b7e6b425a8e Mon Sep 17 00:00:00 2001
From: barras
Date: Mon, 15 Mar 2004 17:00:28 +0000
Subject: preparation pour release (suite)

git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/coq/trunk@5497 85f007b7-540e-0410-9357-904b9bb8a0f7
---
 README | 12 ++++--------
 1 file changed, 4 insertions(+), 8 deletions(-)

(limited to 'README')

diff --git a/README b/README
index fc127e1923..1f959a9a83 100644
--- a/README
+++ b/README
@@ -66,17 +66,13 @@ THE COQ CLUB.
 BUGS REPORT.
 ============
 
-   Send your bug reports by E-mail to
+   Send your bug reports by filling a form at
 
-	coq-bugs@pauillac.inria.fr
+        http://coq.inria.fr/bin/coq-bugs
 
-   or by snail mail to
+   or by E-mail to
 
-	Projet Coq
-	INRIA Rocquencourt
-	B.P. 105
-	78153 Le Chesnay
-	France
+	coq-bugs@pauillac.inria.fr
 
    To be effective, bug reports should mention the Caml version used
    to compile and run Coq, the Coq version (coqtop -v), the configuration
-- 
cgit v1.2.3