[Pkg-ocaml-maint-commits] [pcre-ocaml] 12/18: Merge tag 'upstream/7.2.3'
Stéphane Glondu
glondu at moszumanska.debian.org
Wed Aug 3 11:58:37 UTC 2016
This is an automated email from the git hooks/post-receive script.
glondu pushed a commit to branch master
in repository pcre-ocaml.
commit 6be952fcc63b2e3fcb2d073e8d56f222e641bf40
Merge: 3a98b9b ab09858
Author: Stephane Glondu <steph at glondu.net>
Date: Wed Aug 3 13:45:24 2016 +0200
Merge tag 'upstream/7.2.3'
Upstream version 7.2.3
.gitignore | 9 +-
.hg_archival.txt | 4 -
.hgignore | 5 -
.hgtags | 24 --
AUTHORS.txt | 14 +-
CHANGES.txt | 37 +++
INSTALL.txt | 11 +-
Makefile | 5 +-
README.md | 55 ++--
_oasis | 32 +-
_opam | 3 +
_tags | 25 +-
examples/cloc/cloc.ml | 12 +-
examples/pcregrep/pcregrep.ml | 4 +-
lib/META | 5 +-
lib/pcre.ml | 174 +++++-----
lib/pcre.mldylib | 4 +
lib/pcre.mli | 25 +-
lib/pcre.mllib | 3 +-
lib/pcre_compat.ml | 2 +
lib/pcre_compat312.ml | 2 +
lib/pcre_compat402.ml | 2 +
lib/pcre_stubs.c | 174 +++++-----
myocamlbuild.ml | 220 ++++++++-----
setup.ml | 715 ++++++++++++++++++++++++++----------------
25 files changed, 952 insertions(+), 614 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/pcre-ocaml.git
More information about the Pkg-ocaml-maint-commits
mailing list