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 <st...@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 _______________________________________________ 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