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

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

        at  045c05b   (tag)
   tagging  6c4107f0aadd35051b3e3ef93fa542944285054a (commit)
  replaces  debian/20171206-1
 tagged by  Ralf Treinen
        on  Tue Jan 2 20:19:15 2018 +0100

- Log -----------------------------------------------------------------
menhir Debian release 20171222-1

Ralf Treinen (4):
      New upstream version 20171222
      Update upstream source from tag 'upstream/20171222'
      new upstream version
      standards-version 4.1.3


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