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 pB87e66A009683
	for <caml-list@sympa-roc.inria.fr>; Thu, 8 Dec 2011 08:40:07 +0100
X-IronPort-AV: E=Sophos;i="4.71,318,1320620400"; 
   d="scan'208";a="122531713"
Received: from chercheurs2-242.saclay.inria.fr (HELO alcazar) ([193.55.250.242])
  by mail4-relais-sop.national.inria.fr with ESMTP; 08 Dec 2011 08:40:05 +0100
Date: Thu, 8 Dec 2011 08:40:38 +0100
From: Maxence Guesdon <Maxence.Guesdon@inria.fr>
To: caml-list@inria.fr
Message-ID: <20111208084038.254ae41c@alcazar>
In-Reply-To: <20111201102023.1c603c7b@alcazar>
References: <20111201102023.1c603c7b@alcazar>
Organization: INRIA
X-Mailer: Claws Mail 3.7.9 (GTK+ 2.24.8; x86_64-pc-linux-gnu)
Mime-Version: 1.0
Content-Type: text/plain; charset=US-ASCII
Content-Transfer-Encoding: 7bit
Subject: [Caml-list] Re: Caml bug tracker: downtime scheduled from december 5th

On Thu, 1 Dec 2011 10:20:23 +0100
Maxence Guesdon <maxence.guesdon@inria.fr> wrote:

> Hello,
> 
> Mantis[1], the bug tracker used for OCaml, will be down from december, 5th
> at the end of the morning.
> 
> At this date, we'll move the caml site to a new server. The DNS change
> should be transparent for the web site, which should remain available all
> the time. This is the occasion to upgrade mantis while moving it to the new
> server too.
> 
> Mantis will be available anew when the DNS change is propagated, which can
> take some hours or days.

At last, the DNS change was made. Mantis is up again.
If you encounter problems accessing caml.inria.fr, please tell us
(caml-webmaster AT inria.fr).

Regards,

-- 
Maxence Guesdon