This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository coinst.
commit 9af2f4cffc22d4465731753e5e817361f1e682e8 Merge: c6ff300 5517e47 Author: Mehdi Dogguy <me...@debian.org> Date: Sat Feb 13 14:41:16 2016 +0100 Merge tag 'upstream/1.9.3' Upstream version 1.9.3 CHANGES | 6 ++++++ Makefile | 2 +- rpm_lib.ml | 10 +++++----- transition.ml | 24 +++++++++++++----------- util.ml | 4 ---- util.mli | 2 -- viewer/Makefile | 2 +- 7 files changed, 26 insertions(+), 24 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