This is an automated email from the git hooks/post-receive script. glondu pushed a commit to branch master in repository ppx-deriving.
commit 95d9d6a576ca5bffe9fdeba3e5bd0a1fbf656717 Merge: 7e79f97 730019f Author: Stephane Glondu <st...@glondu.net> Date: Fri Jul 21 17:35:16 2017 +0200 Updated version 4.1 from 'upstream/4.1' with Debian dir 6bb5d5a442d0b6081f667035e4a2965b7ffda530 CHANGELOG.md | 10 +++++++++ opam | 2 +- pkg/build.ml | 8 ++++++- src/ppx_deriving.cppo.ml | 11 +++++++++- src/ppx_deriving.mli | 7 ++++++ src_plugins/ppx_deriving_map.cppo.ml | 41 ++++++++++++++++++++--------------- src_plugins/ppx_deriving_show.cppo.ml | 4 ++-- src_test/test_deriving_map.cppo.ml | 24 ++++++++++++++++++++ src_test/test_deriving_show.cppo.ml | 14 ++++++------ 9 files changed, 91 insertions(+), 30 deletions(-) -- Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/ppx-deriving.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