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

[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 2060d1f0eee1a6442f2659abfde713054767a522
Merge: 67ca31f 62d8623
Author: Ralf Treinen <treinen at free.fr>
Date:   Tue Jan 2 19:19:08 2018 +0100

    Update upstream source from tag 'upstream/20171222'
    
    Update to upstream version '20171222'
    with Debian dir 3d3291237a1118ef2dd15d380e1b9b431a82ac8a

 CHANGES.md            |  12 +++++++++---
 doc/macros.tex        |   1 +
 doc/main.tex          |  17 ++++++++++-------
 doc/version.tex       |   2 +-
 manual.pdf            | Bin 433383 -> 433515 bytes
 src/META              |   2 +-
 src/StaticVersion.ml  |   2 +-
 src/StaticVersion.mli |   2 +-
 src/grammarFunctor.ml |   6 ++++--
 src/settings.ml       |   7 +++++++
 src/settings.mli      |   4 ++++
 src/version.ml        |   2 +-
 12 files changed, 40 insertions(+), 17 deletions(-)

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