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

treinen pushed a change to annotated tag debian/4.1_beta1-2
in repository dose3.

        at  b6f0234   (tag)
   tagging  c2bfd409d4936b5556cff7ced0a3eb293fe65b22 (commit)
  replaces  debian/4.1_beta1-1
 tagged by  Ralf Treinen
        on  Fri Jan 22 09:08:22 2016 +0100

- Log -----------------------------------------------------------------
Debian release 4.1~beta1-2

Johannes Schauer (1):
      Imported Debian patch 4.1~beta1-2


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