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

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

        at  0a831bb   (tag)
   tagging  ef141dac3ec1a8e2ff938c9e3823f048f67b36d3 (commit)
  replaces  debian/5.0-2
 tagged by  Ralf Treinen
        on  Fri Jul 15 22:58:05 2016 +0200

- Log -----------------------------------------------------------------
dose3 Debian release 5.0-3

Ralf Treinen (1):
      build-indep depends on configure


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