[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.11.1-3-6-g9a32b58

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit af334f3d79ec22d22ad806437ef50dbe02688dff
Merge: 89c23128bda608080da2d3660ad53b0926a962a7 0e1e5d0183c230169f21af604e2fbe7270c48506
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Fri Feb 12 15:53:53 2010 +0100

    Merge commit 'upstream/3.11.2.A'


-- 
jocaml packaging