[Pkg-ocaml-maint-commits] [otags] 02/07: Merge tag 'upstream/4.02.1'

[Mehdi Dogguy]

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

mehdi pushed a commit to branch master
in repository otags.

commit b418d56d07fadb97f7b66bc999975b9b8e25cc56
Merge: 0730768 47e6f8e
Author: Mehdi Dogguy <mehdi at debian.org>
Date:   Sat Jan 16 16:54:14 2016 +0100

    Merge tag 'upstream/4.02.1'
    
    Upstream version 4.02.1

 ChangeLog              |  57 ++++++++++++++++++++++++++++
 Makefile.in            |  19 +++++++---
 configure              |   4 +-
 contrib/update-otags.8 |   3 +-
 doc/changes.html       |  17 +++++++--
 doc/otags.1            |  36 ++++++++++++------
 doc/otags.html         |  43 ++++++++++++++-------
 make-distribution      |   1 +
 misc.ml                |  11 ++----
 parser_hints.ml        |   5 ++-
 reparse.ml             |  14 ++++---
 tags.ml                | 100 ++++++++++++++++++++++++++++++++++++++++++++++---
 test/a.ml              |  14 +++++++
 test/c.mli             |   9 +++++
 test/g.mli             |   1 +
 test/test.TAGS         |  27 ++++++++++++-
 test/test.tags         |  21 +++++++++++
 util/dump-camlp4.ml    |   8 ++--
 vi.ml                  |  16 ++++----
 19 files changed, 333 insertions(+), 73 deletions(-)

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