From: Stephane Glondu <steph@glondu.net>
Date: Wed, 14 Nov 2012 12:02:57 +0000 (+0100)
Subject: Merge tag 'upstream/4.00.1' into experimental/master
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~217
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=67ea5ddd4df828592a6ab4ea7ab9d2e43e978eb6;p=ocaml.git

Merge tag 'upstream/4.00.1' into experimental/master

Upstream version 4.00.1
---

67ea5ddd4df828592a6ab4ea7ab9d2e43e978eb6