[Pkg-ocaml-maint-commits] [ppx-tools] 03/05: Updated version 5.0+4.05.0 from 'upstream/5.0+4.05.0'

Wed Jul 19 17:03:03 UTC 2017

This is an automated email from the git hooks/post-receive script.

glondu pushed a commit to branch master
in repository ppx-tools.

commit accfb97d681fa873103c194aafadd1fe7b02cbe4
Merge: 03927c0 de6f5d1
Author: Stephane Glondu <steph at glondu.net>
Date:   Wed Jul 19 18:59:51 2017 +0200

    Updated version 5.0+4.05.0 from 'upstream/5.0+4.05.0'

    with Debian dir af672fbb586c536d8578a2a0f9e3feb7f9d62875

 .travis.yml          | 12 ++++++++
 META                 |  4 +--
 Makefile             |  2 +-
 README.md            | 17 ++++++++++-
 ast_convenience.ml   | 83 ++++++++++++++++------------------------------------
 ast_convenience.mli  | 24 ++++++++-------
 ast_mapper_class.ml  | 18 +++++++++---
 ast_mapper_class.mli |  1 +
 dumpast.ml           |  2 +-
 genlifter.ml         | 52 ++++++++++++++++++--------------
 opam                 |  3 +-
 ppx_metaquot.ml      | 59 ++++++++++++++++++++++++++++++++-----
 rewriter.ml          |  4 +--
 13 files changed, 172 insertions(+), 109 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ppx-tools.git