[ocaml-infra] planet.ocaml.org redirection

[Anil Madhavapeddy]

On 17 Oct 2016, at 22:46, Sylvain Le Gall <sylvain at le-gall.net> wrote:
> 
> Hi,
> 
> I was checking my stats after the migration of planet.ocamlcore.org and I realized that there are a couple of people pointing to planet.ocaml.org. Since I changed the hosting (new IP), can you update the DNS entry of planet.ocaml.org to point to either "CNAME planet.ocamlcore.org." or directly to "ocaml.org" ? 

Dear Sylvain (CC infrastructure@ as FYI),

This change has now been made in the ocaml.org DNS and is propagating.  I set it as a CNAME to planet.ocamlcore.org for now.

regards
Anil