1 files changed, 0 insertions, 2 deletions
diff --git a/README.win b/README.win
index ee64a54d..4ba9ac1b 100644
--- a/README.win
+++ b/README.win
@@ -36,8 +36,6 @@ COMPILATION.
          - Windows cvs client (very useful if you have access to the Coq
            archive).
 
-    If you are lost, you could find help at: coq-bugs@pauillac.inria.fr.
-
     Good luck :-)
 
     The Coq Team.