From: Stephane Glondu <steph@glondu.net>
Date: Sat, 21 Jul 2012 12:36:47 +0000 (+0200)
Subject: Merge tag 'upstream/4.00.0_rc1' into experimental/master
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~228
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=02b757e24e38f81501322241652f3de6e40aa32b;p=ocaml.git

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

Upstream version 4.00.0~rc1
---

02b757e24e38f81501322241652f3de6e40aa32b