[Pkg-ocaml-maint-commits] [mikmatch] 03/09: Merge tag 'upstream/1.0.8'

[Stéphane Glondu]

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 <steph at 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