[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.2.a-1-9-g15093e0

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 6ccfcdab001a560db42bba76960f627ee0fd77c3
Merge: 643f79acbacc3ccb1644b2a1710593ab5731ecdc 3ed071640225e27b9cfa5e282150574bd7db1d30
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sun Apr 17 12:17:00 2011 +0200

    Merge commit 'upstream/3.12.0'


-- 
jocaml packaging