On 2016-03-03 16:04, Ashish Agarwal <agarwal1975@gmail.com> writes:

> In case it wasn't already known, planet.ocaml.org is deprecated and will be
> deactivated:
> https://github.com/ocaml/ocaml.org/issues/728

Ah, this explains why there are fewer news there, and motivates me to
change source.

I'll be using Syndic, thanks a lot for all the replies.

Alan

-- 
OpenPGP Key ID : 040D0A3B4ED2E5C7
Monthly Athmospheric CO₂ (2016-01, Mauna Loa Obs.): 402.52