From: Stephane Glondu <steph@glondu.net>
Date: Wed, 13 Jun 2012 08:06:55 +0000 (+0200)
Subject: Merge tag 'upstream/4.00.0_beta2' into experimental/master
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~249
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=9fb20a31d4710af640235da1115c16b0580b861a;p=ocaml.git

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

Upstream version 4.00.0~beta2
---

9fb20a31d4710af640235da1115c16b0580b861a