[Pkg-ocaml-maint-commits] [pxp] 04/09: Merge tag 'upstream/1.2.7'

[Stéphane Glondu]

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

glondu pushed a commit to branch master
in repository pxp.

commit c9f1ceb4855be25a3f8581731a399fa7cd09f937
Merge: ae0a01c 82eda76
Author: Stephane Glondu <steph at glondu.net>
Date:   Mon May 4 20:19:57 2015 -0300

    Merge tag 'upstream/1.2.7'
    
    Upstream version 1.2.7

 Makefile                 |   14 +
 README                   |    6 +
 _oasis                   |  173 ++
 configure                |   54 +-
 doc/README               |    6 +
 setup.ml                 | 6450 ++++++++++++++++++++++++++++++++++++++++++++++
 tools/src/lexpp/Makefile |    2 +-
 7 files changed, 6702 insertions(+), 3 deletions(-)

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