[Pkg-ocaml-maint-commits] [SCM] coinst packaging branch, master, updated. upstream/1.0-14-g85c6470

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 39b1e0f6c6eb7ce77cf5789a71619ebb3bc61ba6
Merge: 2741dce14838b2c80723aa404ad1d6e2f26b4106 039e6cebccfb81d1b3f260b3328e79417c4eb371
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 1 16:54:21 2012 +0100

    Merge commit 'upstream/1.01'


-- 
coinst packaging