From 70621433c2c4028650e1c09e88c496f0aba67a6f Mon Sep 17 00:00:00 2001
From: notin
Date: Mon, 20 Feb 2012 13:50:10 +0000
Subject: - changing minimal version for OCaml: Coq uses Filename.dirsep that
 is available from OCaml 3.11.2 (see bug #2707) - fixing outdated address for
 Coq Club

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

(limited to 'README')

diff --git a/README b/README
index 4f4afa5b27..9bf63c433c 100644
--- a/README
+++ b/README
@@ -38,7 +38,7 @@ THE COQ CLUB.
    discuss questions about the Coq system and related topics. The submission
    address is:
 
-	coq-club@coq.inria.fr
+	coq-club@inria.fr
 
    The topics to be discussed in the club should include:
 
@@ -55,7 +55,7 @@ THE COQ CLUB.
 
    To be added to, or removed from, the mailing list, please write to:
 
-	coq-club-request@coq.inria.fr
+	coq-club-request@inria.fr
 
    Please use also this address for any questions/suggestions about the
    Coq Club. It might sometimes take a few days before your messages get
@@ -67,7 +67,7 @@ BUGS REPORT.
 
    Send your bug reports by filling a form at
 
-        http://logical.saclay.inria.fr/coq-bugs
+        http://coq.inria.fr/bugs
 
    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