[opam-devel] updating the ocaml ppa to 4.02.3

[Anil Madhavapeddy]

On 11 Aug 2015, at 09:40, Thomas Gazagnaire <thomas at gazagnaire.org> wrote:
> 
>> 
>> In order to properly fix this, I've started to merge the scripts we use in opam-repository and the ones in ocaml-travisci-skeleton. See https://github.com/ocaml/ocaml-travisci-skeleton/pull/61
>> 
>> Comments are welcome. 
> 
> The PR is now merged in ocaml-travisci-skeleton and https://github.com/ocaml/opam-repository/pull/4639 uses it and is all green (including the 4.02.3 runs which were failing before).
> 
> Any objection to merge this later today?

None! I merged it and submitted a consolidated pull request with the outstanding pull requests.

-a