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

treinen pushed a change to annotated tag upstream/20170607.dfsg
in repository menhir.

        at  3fbed5e   (tag)
   tagging  6f9a81cf270b77af402f1f52b9a1268362b12550 (commit)
  replaces  upstream/20160808+dfsg
 tagged by  Ralf Treinen
        on  Mon Jun 19 21:20:35 2017 +0200

- Log -----------------------------------------------------------------
Upstream version 20170607.dfsg

Ralf Treinen (1):
      New upstream version 20170607.dfsg


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