On Thu, 1 Dec 2011 10:20:23 +0100 Maxence Guesdon <maxence.gues...@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 -- 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