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

treinen pushed a change to annotated tag debian/5.0-1
in repository dose3.

        at  c3d277d   (tag)
   tagging  d1787aa39311e03a5f92f0a69d46963beb0504b1 (commit)
  replaces  debian/5.0_rc2-1
 tagged by  Ralf Treinen
        on  Wed Jun 22 20:28:21 2016 +0200

- Log -----------------------------------------------------------------
dose3 Debian release 5.0-1

Ralf Treinen (3):
      Imported Upstream version 5.0
      Merge tag 'upstream/5.0'
      upload to sid


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