[Pkg-ocaml-maint-commits] [SCM] jocaml packaging branch, master, updated. debian/3.12.0-1-8-g3217567

[Mehdi Dogguy]

The following commit has been merged in the master branch:
commit 842fdf6ca0e9f52d7744737ac5eb8ca706201700
Merge: 15093e0a736bc103456bcbae659d7a328f2e1fa8 e12f18cc8276cf8fa1000c202e119bbea924cd8c
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Tue Nov 1 22:13:41 2011 +0100

    Merge commit 'upstream/3.12.1'


-- 
jocaml packaging