From: Stephane Glondu <steph@glondu.net>
Date: Fri, 12 Jun 2015 14:23:55 +0000 (+0200)
Subject: Merge tag 'upstream/4.02.2_rc1' into experimental/master
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~153
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=7827dd1f6c25e5671b60018fb0ffabb5a613c9f2;p=ocaml.git

Merge tag 'upstream/4.02.2_rc1' into experimental/master

Upstream version 4.02.2~rc1
---

7827dd1f6c25e5671b60018fb0ffabb5a613c9f2