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

glondu pushed a commit to branch master
in repository cppo.

commit 2c907f34c78443794e93f9796abe5bba8baa0652
Merge: 6f3e817 d69ac0b
Author: Stephane Glondu <st...@glondu.net>
Date:   Fri Jul 14 13:59:03 2017 +0200

    Updated version 1.5.0 from 'upstream/1.5.0'
    
    with Debian dir 2728da5bd93a242293aa616f1a1e705f29f3cbcb

 Makefile          |  8 +++++++-
 README.md         | 18 ++++++++++++++++++
 cppo_eval.ml      | 29 +++++++++++++++++++++++++++--
 cppo_types.ml     |  1 +
 opam              |  6 +++---
 test/Makefile     |  5 ++++-
 test/capital.cppo |  6 ++++++
 test/capital.ref  |  6 ++++++
 8 files changed, 72 insertions(+), 7 deletions(-)

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/cppo.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