[Pkg-ocaml-maint-commits] [SCM] ocamlduce packaging branch, master, updated. debian/3.12.0.0-1-3-gf471cf2

[Stephane Glondu]

The following commit has been merged in the master branch:
commit bab439a68f1116ed434b151775c34870023ed42a
Merge: e87b40c21d7e26b36ced01b470e65d521237f7e8 22b54f3b7d1a04c6e3636b4e2cc26549e4d01c12
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jul 6 18:22:44 2011 +0200

    Merge commit 'upstream/3.12.1.0'


-- 
ocamlduce packaging