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 <[email protected]> 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 _______________________________________________ Pkg-ocaml-maint-commits mailing list [email protected] http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits
