[Pkg-ocaml-maint-commits] [SCM] dose3 packaging branch, master, updated. debian/2.9.8-1-30-g4139464

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 2ef65118378a607954f997ba292b698c9f1bf205
Merge: c479652dd02a76500c631ad6db5874148fdc132f 49c4db20e7c0ef86e9919e36c156d0779bf7ddd2
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Feb 7 18:36:35 2012 +0100

    Merge commit 'upstream/2.9.12'


-- 
dose3 packaging