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

[Ralf Treinen]

The following commit has been merged in the master branch:
commit 0b2f2f8549d5820abf8d2ab5dd530ff1c68d690b
Merge: 09226b74f76f0aaf7617e54f846a4c47585049ad 94cde884d73d80eb0755c7ea3fbbbd9841072628
Author: Ralf Treinen <treinen at debian.org>
Date:   Mon Jan 16 18:05:25 2012 +0100

    Merge branch 'master' of git+ssh://git.debian.org/git/pkg-ocaml-maint/packages/coinst


-- 
coinst packaging