[Pkg-ocaml-maint-commits] [menhir] annotated tag debian/20170712-1 created (now c79a435)

[Ralf Treinen]

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

treinen pushed a change to annotated tag debian/20170712-1
in repository menhir.

        at  c79a435   (tag)
   tagging  3ca203d6b777165af8d3069ea2b1bed20e23c68c (commit)
  replaces  debian/20170607.dfsg-3
 tagged by  Ralf Treinen
        on  Fri Jul 14 16:11:07 2017 +0200

- Log -----------------------------------------------------------------
menhir Debian release 20170712-1

Ralf Treinen (14):
      drop filtering of upstream tarball
      New upstream version 20170712
      Merge tag 'upstream/20170712'
      new upstream 20170712
      d/tests: depend on @
      change section to ocaml
      +binary package menhir-doc
      install first into debian/tmp
      mv menhir.install.in to menhir.install
      menhir suggests menhir-doc
      improve package descriptions
      + build-dependency on ocamlbuild
      add menhir-doc.doc-base
      upload to sid

-----------------------------------------------------------------------

No new revisions were added by this update.

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