From: Stephane Glondu <steph@glondu.net>
Date: Mon, 10 Aug 2015 09:13:35 +0000 (+0200)
Subject: Merge tag 'upstream/4.02.3' into experimental/master
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~141
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=3879446784bc6314a7a79703e4471c042d19f900;p=ocaml.git

Merge tag 'upstream/4.02.3' into experimental/master

Upstream version 4.02.3
---

3879446784bc6314a7a79703e4471c042d19f900