[Pkg-ocaml-maint-commits] [SCM] ocamlduce packaging branch, master, updated. debian/3.11.2.0-1-18-ge87b40c

[Stephane Glondu]

The following commit has been merged in the master branch:
commit 0a5e0f94233c9f85af88fd713ecb623a551e33a2
Merge: 6acec7ad8130628589881e0995ab37b7e8de0b65 1ea6fe7a12e5e7804aefbee27e3e2f90a876d2be
Author: Stephane Glondu <steph at glondu.net>
Date:   Sat Aug 7 02:13:44 2010 +0200

    Merge commit 'upstream/3.12.0.0' into 312/master


-- 
ocamlduce packaging