1 files changed, 1 insertions, 5 deletions
diff --git a/README b/README
index 2ed855e7..38aac6df 100644
--- a/README
+++ b/README
@@ -68,11 +68,7 @@ BUGS REPORT.
 
    Send your bug reports by filling a form at
 
-        http://coq.inria.fr/bin/coq-bugs
-
-   or by E-mail to
-
-	coq-bugs@coq.inria.fr
+        http://logical.futurs.inria.fr/coq-bugs
 
    To be effective, bug reports should mention the Caml version used
    to compile and run Coq, the Coq version (coqtop -v), the configuration