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 pB8GlnsP002692 for ; Thu, 8 Dec 2011 17:47:49 +0100 X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AvMBACnp4E5KfVM2kGdsb2JhbABDhQaVNIgYAYgMCCIBAQEBCQkNBxQEIYFyAQEBAwESAg8dARsSCwEDAQsGBQQHDQ0dAgIiAREBBQEKEgYTEhCHZQiaYQqLHEiCa4RHPYhxAgUMg2uGLoEWBIJbhVOMPY1wPYQX X-IronPort-AV: E=Sophos;i="4.71,320,1320620400"; d="scan'208";a="122627688" Received: from mail-ee0-f54.google.com ([74.125.83.54]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 08 Dec 2011 17:47:41 +0100 Received: by eekc50 with SMTP id c50so1577756eek.27 for ; Thu, 08 Dec 2011 08:47:41 -0800 (PST) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=gamma; h=mime-version:in-reply-to:references:date:message-id:subject:from:to :cc:content-type; bh=55tOqHPQrg1Fu8hPxVFuUpDveCFEjraQf+tHs7D5Abg=; b=OY/DIMD09EkVLE4OoSQzG6y0JrdDrZ0aDY5m9/q9PTIXMXxc8vMpx83kVfVFaQ/VFF 0XYH9QUB++fk/SGX2f4D4HFOuNitLTzSFnSJqx4WtCIcokmTn70zS8yVHK3puU2sPvoy FSzNpiGkNTypjL7d7En/a7k6HfbORmx4c5ZPc= MIME-Version: 1.0 Received: by 10.213.14.66 with SMTP id f2mr239653eba.125.1323362861097; Thu, 08 Dec 2011 08:47:41 -0800 (PST) Received: by 10.213.16.67 with HTTP; Thu, 8 Dec 2011 08:47:40 -0800 (PST) In-Reply-To: <20111208084038.254ae41c@alcazar> References: <20111201102023.1c603c7b@alcazar> <20111208084038.254ae41c@alcazar> Date: Thu, 8 Dec 2011 11:47:40 -0500 Message-ID: From: Edgar Friendly To: Maxence Guesdon Cc: caml-list@inria.fr Content-Type: multipart/alternative; boundary=0015174bde763ea55404b3976d8b Subject: Re: [Caml-list] Re: Caml bug tracker: downtime scheduled from december 5th --0015174bde763ea55404b3976d8b Content-Type: text/plain; charset=UTF-8 It seems that anonymous access to the bugtracker is no longer available, is this accidental? E. On Thu, Dec 8, 2011 at 2:40 AM, Maxence Guesdon wrote: > On Thu, 1 Dec 2011 10:20:23 +0100 > Maxence Guesdon 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 > > -- > Caml-list mailing list. Subscription management and archives: > https://sympa-roc.inria.fr/wws/info/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs > > --0015174bde763ea55404b3976d8b Content-Type: text/html; charset=UTF-8 Content-Transfer-Encoding: quoted-printable It seems that anonymous access to the bugtracker is no longer available, is= this accidental?

E.

On Thu, Dec 8= , 2011 at 2:40 AM, Maxence Guesdon <Maxence.Guesdon@inria.fr> wrote:
On Thu, 1 Dec 2011 10:20:= 23 +0100
Maxence Guesdon <maxence.gue= sdon@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 ch= ange
> 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 th= e 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

--
Caml-list mailing list. =C2=A0Subscription management and archives:
https://sympa-roc.inria.fr/wws/info/caml-list
Beginner's list: http://groups.yahoo.com/group/ocaml_beginners
Bug reports: http://caml.inria.fr/bin/caml-bugs


--0015174bde763ea55404b3976d8b--