From: Julien Cristau <julien.cristau@ens-lyon.org>
Date: Wed, 4 Jan 2006 15:01:17 +0000 (+0000)
Subject: Merge branch 'upstream'
X-Git-Tag: archive/raspbian/4.08.1-4+rpi1~3^2~677
X-Git-Url: https://dgit.raspbian.org/?a=commitdiff_plain;h=d65c55517fda3afbc96948eaf487545c972efcc4;p=ocaml.git

Merge branch 'upstream'
---

d65c55517fda3afbc96948eaf487545c972efcc4