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

Sun Jan 15 08:24:06 UTC 2012

The following commit has been merged in the master branch:
commit 94cde884d73d80eb0755c7ea3fbbbd9841072628
Merge: f7470c1f1cc3ff700cf9f3002c48c97596c50f26 eb98bebdb3c4837c03cd08e2e5ee5a8e96cf5a85
Author: Ralf Treinen <treinen at free.fr>
Date:   Sun Jan 15 09:06:04 2012 +0100

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


-- 
coinst packaging