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

[Ralf Treinen]

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

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

        at  fc12dfb   (tag)
   tagging  67ca31f60ac827bd446393acbe7345427b06e9c4 (commit)
  replaces  debian/20171013-1
 tagged by  Ralf Treinen
        on  Wed Dec 13 21:32:12 2017 +0100

- Log -----------------------------------------------------------------
menhir Debian release 20171206-1

Ralf Treinen (5):
      New upstream version 20171206
      Update upstream source from tag 'upstream/20171206'
      new upstream
      stndrds-version 4.1.2
      drop debian/source/local-options

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

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