[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.0-3-12-g2c617ef

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit f4a65c38c52858a122fb5d812c25eda3a60d977e
Merge: 04db433abe54292e9907e88dd743cfad6201f2f7 4b470e6efa69d54df6457c4f41ebc357e13a7582
Author: Mehdi Dogguy <dogguy at pps.jussieu.fr>
Date:   Wed Jun 24 10:31:48 2009 +0200

    Merge commit 'upstream/3.11.1+debian1'


-- 
jocaml packaging