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

glondu pushed a commit to branch master
in repository pxp.

commit f4feef86ef60f0702011ab6fe1b1883e9545e168
Merge: fce2610 e2dc71a
Author: Stephane Glondu <st...@glondu.net>
Date:   Sat Jul 29 07:57:50 2017 +0200

    Updated version 1.2.9 from 'upstream/1.2.9'
    
    with Debian dir 86c05938ce38507d4527f3faefd6939eb995e890

 .gitignore                       |    1 -
 README                           |    2 +
 _oasis                           |    2 +-
 configure                        |    2 +-
 doc/README                       |    2 +
 gensrc/pxp-wlex-utf8/gen_done    |    0
 setup.ml                         | 7855 +++++++++++++++++++++++++-------------
 src/pxp-engine/pxp_core_types.ml |    2 +-
 src/pxp-engine/pxp_document.ml   |    2 -
 9 files changed, 5178 insertions(+), 2690 deletions(-)

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