[Pkg-ocaml-maint-commits] [cmdliner] 02/04: Merge tag 'upstream/0.9.8'

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository cmdliner.

commit b2603934548c55dd7c9bdaa032fdfe968ce15a79
Merge: d21081d 13ba3a3
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Mon Jan 18 00:33:28 2016 +0100

    Merge tag 'upstream/0.9.8'
    
    Upstream version 0.9.8

 .merlin                        |   3 +
 CHANGES.md                     |  26 ++++-
 README.md                      |   2 +-
 _tags                          |   2 +-
 doc/Cmdliner.Arg.html          |  53 +++++++--
 doc/Cmdliner.Manpage.html      |   9 +-
 doc/Cmdliner.Term.html         |  56 ++++++----
 doc/Cmdliner.html              |  82 +++++++++-----
 doc/index_extensions.html      |  18 +++
 doc/index_types.html           |   6 +
 doc/index_values.html          |  17 ++-
 doc/type_Cmdliner.Arg.html     |   5 +-
 doc/type_Cmdliner.Manpage.html |   6 +-
 doc/type_Cmdliner.Term.html    |   4 +
 doc/type_Cmdliner.html         |  16 ++-
 opam                           |   8 +-
 pkg/META                       |   2 +-
 pkg/topkg-ext.ml               |   2 +-
 pkg/topkg.ml                   |   2 +-
 src/cmdliner.ml                | 241 +++++++++++++++++++++++++++++------------
 src/cmdliner.mli               | 180 +++++++++++++++++++++---------
 test/chorus.ml                 |   6 +-
 test/cp_ex.ml                  |   2 +-
 test/darcs_ex.ml               |  11 +-
 test/man_test.ml               |  73 +++++++++++++
 test/revolt.ml                 |   2 +-
 test/rm_ex.ml                  |   6 +-
 test/tail_ex.ml                |   2 +-
 test/tests.itarget             |   5 +-
 29 files changed, 631 insertions(+), 216 deletions(-)

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