From: Stephane Glondu <steph@glondu.net>
Date: Sat, 24 Jul 2010 12:19:59 +0000 (+0200)
Subject: Merge commit 'upstream/3.12.0.rc1' into 312/master
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~333
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=632b952d67d0b2f80703ceb32ecd186659cee16a;p=ocaml.git

Merge commit 'upstream/3.12.0.rc1' into 312/master
---

632b952d67d0b2f80703ceb32ecd186659cee16a