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

glondu pushed a change to annotated tag upstream/20160808+dfsg
in repository menhir.

        at  eae7100   (tag)
   tagging  5fc34d1cac6531d8c1a33ead9719ee53da5bce1c (commit)
  replaces  upstream/20160526.dfsg
 tagged by  Stephane Glondu
        on  Tue Aug 16 10:03:39 2016 +0200

- Log -----------------------------------------------------------------
Upstream version 20160808+dfsg

Stephane Glondu (1):
      Imported Upstream version 20160808+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