This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository mikmatch.
commit 45505a5d2af104ae21ad3ae4b816eb8a3dc4a3f6 Merge: 857924a 6572e6e Author: Stephane Glondu <st...@glondu.net> Date: Thu Aug 4 13:41:20 2016 +0200 Merge tag 'upstream/1.0.8' Upstream version 1.0.8 .gitignore | 8 ++++++++ README.md | 4 +++- VERSION | 2 +- common/match.ml | 7 ++++++- pcre/Makefile | 10 ++++------ pcre/run_mikmatch_pcre.ml | 4 ++-- str/META.template | 2 +- 7 files changed, 25 insertions(+), 12 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 Pkg-ocaml-maint-commits@lists.alioth.debian.org http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits