[Pkg-ocaml-maint-commits] [ppx-tools] 03/09: Merge tag 'upstream/5.0+4.02.0'

[Stéphane Glondu]

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