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 pB19Jr42013474 for ; Thu, 1 Dec 2011 10:19:53 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvcAAEJG105QDPJ+kGdsb2JhbABEqxYBAQEBCQkNBxQDIoIzgVyIPZhJn24Sh3mDFQSUVopdhzc X-IronPort-AV: E=Sophos;i="4.71,277,1320620400"; d="scan'208";a="121629141" Received: from smtp04.smtpout.orange.fr (HELO smtp.smtpout.orange.fr) ([80.12.242.126]) by mail4-smtp-sop.national.inria.fr with ESMTP; 01 Dec 2011 10:19:48 +0100 Received: from alcazar ([83.203.210.72]) by mwinf5d27 with ME id 3lKn1i0041aGMij03lKnju; Thu, 01 Dec 2011 10:19:48 +0100 Date: Thu, 1 Dec 2011 10:20:23 +0100 From: Maxence Guesdon To: caml-list@inria.fr Message-ID: <20111201102023.1c603c7b@alcazar> 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] Caml bug tracker: downtime scheduled from december 5th 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. Cheers, Maxence [1] http://caml.inria.fr/mantis