The following commit has been merged in the master branch:
commit 94cde884d73d80eb0755c7ea3fbbbd9841072628
Merge: f7470c1f1cc3ff700cf9f3002c48c97596c50f26 
eb98bebdb3c4837c03cd08e2e5ee5a8e96cf5a85
Author: Ralf Treinen <trei...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to