This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ppx-tools.
commit aa6664227dea210dd8fdf7c3768a0667fd7f012b Merge: 9911918 00c032b Author: Stephane Glondu <st...@glondu.net> Date: Wed Jul 27 12:23:00 2016 +0200 Merge tag 'upstream/5.0+4.02.0' Upstream version 5.0+4.02.0 .gitignore | 2 + .merlin | 3 + .ocp-indent | 2 + META | 4 +- Makefile | 26 ++-- ast_convenience.ml | 158 ++++++++++++++++------ ast_convenience.mli | 99 +++++++++----- ast_mapper_class.ml | 50 +++---- ast_mapper_class.mli | 4 +- dumpast.ml | 50 +++---- genlifter.ml | 375 ++++++++++++++++++++++++++++----------------------- opam | 20 ++- ppx_metaquot.ml | 98 +++++++------- rewriter.ml | 87 ++++++------ 14 files changed, 571 insertions(+), 407 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ppx-tools.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