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

glondu pushed a change to annotated tag debian/0.7-2ubuntu2
in repository cudf.

        at  a270c21   (tag)
   tagging  ae0644a27ee7e638e265ef10a8543db336e2f64a (commit)
  replaces  debian/0.7-1
 tagged by  Stephane Glondu
        on  Wed Jul 19 19:23:08 2017 +0200

- Log -----------------------------------------------------------------
Debian release 0.7-2ubuntu2

Dimitri John Ledkov (1):
      Import Debian changes 0.7-2ubuntu2

Stefano Zacchiroli (1):
      upload to unstable


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