This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository coinst.
commit 49d2646522c2a9a21c8d82f5459d1bf49d6b7f54 Merge: 5216aa0 cfa2c3b Author: Mehdi Dogguy <me...@debian.org> Date: Fri Jan 17 21:55:04 2014 +0100 Merge tag 'upstream/1.9.1' Upstream version 1.9.1 .depend | 24 ++-- .gitignore | 5 +- CHANGES | 10 ++ Makefile | 4 +- coinst.ml | 413 ++++++++++++++++++++++++++++++++++++++++++++++++++++-- coinst_json.ml | 290 ++++++++++++++++++++++++++++++++++++++ coinst_json.mli | 34 +++++ layout.ml | 16 ++- layout.mli | 4 +- man/comigrate.1 | 10 +- ptset.ml | 10 ++ ptset.mli | 2 + transition.ml | 188 +++++++++++++++++-------- update_data.ml | 16 ++- upgrade.ml | 2 +- upgrade_common.ml | 4 +- util.ml | 2 +- 17 files changed, 932 insertions(+), 102 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/coinst.git _______________________________________________ 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