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

Reply via email to