This is an automated email from the git hooks/post-receive script. mehdi pushed a commit to branch master in repository mikmatch.
commit c8d0a5d8781832b0991cf0cf34df5b6bf1bee858 Merge: 4a4fb52 deff5c5 Author: Mehdi Dogguy <[email protected]> Date: Thu May 8 20:15:11 2014 +0200 Merge tag 'upstream/1.0.7' Upstream version 1.0.7 VERSION | 2 +- common/syntax_common.ml | 12 ++++++------ pcre/test.ml | 8 ++++++-- 3 files changed, 13 insertions(+), 9 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/mikmatch.git _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

