[Pkg-ocaml-maint-commits] [menhir] 02/06: Update upstream source from tag 'upstream/20171013'

[Ralf Treinen]

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

treinen pushed a commit to branch master
in repository menhir.

commit 77012d75f06ce455b1b05f437d9c585768cd864b
Merge: e08bbaf efdf87d
Author: Ralf Treinen <treinen at free.fr>
Date:   Thu Nov 23 08:05:21 2017 +0100

    Update upstream source from tag 'upstream/20171013'
    
    Update to upstream version '20171013'
    with Debian dir 32c931b43cd94a2ddd10847ae9a7d392d9e911f5

 CHANGES.md               |  13 +++++
 Makefile                 |  14 ++++--
 doc/version.tex          |   2 +-
 manual.pdf               | Bin 433418 -> 433419 bytes
 menhir.1                 |   2 +-
 src/META                 |   2 +-
 src/Makefile             |  23 ++-------
 src/StaticVersion.ml     |   2 +-
 src/StaticVersion.mli    |   2 +-
 src/_tags                |   4 --
 src/checkOCamlVersion.ml | 123 -----------------------------------------------
 src/version.ml           |   2 +-
 12 files changed, 34 insertions(+), 155 deletions(-)

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