[Pkg-ocaml-maint-commits] [pxp] branch master updated (fce2610 -> a59e7d7)

[Stéphane Glondu]

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

glondu pushed a change to branch master
in repository pxp.

      from  fce2610   Update changelog and prepare upload to unstable
       new  e2dc71a   New upstream version 1.2.9
       new  f4feef8   Updated version 1.2.9 from 'upstream/1.2.9'
       new  03d3d05   New upstream release
       new  1baf61e   Bump Standards-Version to 4.0.0
       new  a59e7d7   Update changelog and prepare upload to unstable

The 5 revisions listed above as "new" are entirely new to this
repository and will be described in separate emails.  The revisions
listed as "adds" were already present in the repository and have only
been added to this reference.


Summary of changes:
 .gitignore                       |    1 -
 README                           |    2 +
 _oasis                           |    2 +-
 configure                        |    2 +-
 debian/changelog                 |    8 +
 debian/control                   |    2 +-
 debian/copyright                 |    2 +-
 doc/README                       |    2 +
 setup.ml                         | 7855 +++++++++++++++++++++++++-------------
 src/pxp-engine/pxp_core_types.ml |    2 +-
 src/pxp-engine/pxp_document.ml   |    2 -
 11 files changed, 5188 insertions(+), 2692 deletions(-)
 delete mode 100644 .gitignore

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