From mboxrd@z Thu Jan 1 00:00:00 1970 Received: from mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by walapai.inria.fr (8.13.6/8.13.6) with ESMTP id p6THWfFD028757 for ; Fri, 29 Jul 2011 19:32:41 +0200 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: Ar0BAKHtMk7UGyoCkWdsb2JhbAA0AQEEAV0tDAwhMQ8CA1EVDwEBmFCPFBQBAQEBCQsLBxQDIoh8Ar8RhkEEknqFBotf X-IronPort-AV: E=Sophos;i="4.67,288,1309730400"; d="scan'208";a="104249917" Received: from smtp2-g21.free.fr ([212.27.42.2]) by mail4-smtp-sop.national.inria.fr with ESMTP; 29 Jul 2011 19:32:35 +0200 Received: from [192.168.1.3] (unknown [82.237.71.191]) by smtp2-g21.free.fr (Postfix) with ESMTP id F31414B00DF for ; Fri, 29 Jul 2011 19:32:28 +0200 (CEST) Message-ID: <4E32EF0A.90300@inria.fr> Date: Fri, 29 Jul 2011 19:34:02 +0200 From: Xavier Leroy User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.17) Gecko/20110424 Thunderbird/3.1.10 MIME-Version: 1.0 To: caml-list@inria.fr References: In-Reply-To: X-Enigmail-Version: 1.1.2 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] Re: Great Renaming On 07/29/2011 06:59 PM, Sylvain Le Gall wrote: > Another side effect: caml.inria.fr points to active-dvi ! Unrelated, but thanks for reporting it. It seems that INRIA's DNS is broken and reports two different IP addresses for caml.inria.fr, the correct one and the one of the server hosting advi.inria.fr... I notified our network admins but we'll have to wait until Monday for a fix. Be patient... Mehdi Doggy adds: > Do you plan to keep caml.inria.fr as well? or to add ocaml.inria.fr? We didn't discuss that. For the moment, I'll wait until the caml.inria.fr issue is resolved before asking our network admins anything else :-) - Xavier Leroy