[Pkg-ocaml-maint-commits] [hevea] 12/13: Merge tag 'upstream/2.16'

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository hevea.

commit dba1b4f34a04bce3de9ceb5bb8fd59fe11b1e0b9
Merge: 93d62d7 4c425e1
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Jun 19 08:32:33 2014 +0200

    Merge tag 'upstream/2.16'
    
    Upstream version 2.16

 CHANGES       |  6 ++++++
 README        |  2 +-
 htmlCommon.ml |  2 +-
 iso-symb.hva  |  2 +-
 latexscan.mli |  2 ++
 latexscan.mll | 15 ++++++++++++---
 package.ml    |  5 ++++-
 version.ml    |  4 ++--
 8 files changed, 29 insertions(+), 9 deletions(-)

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