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 

Pkg-ocaml-maint-commits mailing list

Reply via email to