<div dir="ltr">Hi,<div><br></div><div>The URL <a href="http://caml.org">caml.org</a> currently redirects to <a href="http://caml.inria.fr">caml.inria.fr</a>. Shouldn't it redirect to <a href="http://ocaml.org">ocaml.org</a> ?</div>

<div><br></div><div>Cheers,</div><div><br clear="all"><div>Esther Baruk</div>
</div></div>