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

josch pushed a change to annotated tag debian/5.0.1-1
in repository dose3.

        at  8694403   (tag)
   tagging  5fb9b7ebfdfdc352f881b79ca18d946ee74ea32f (commit)
  replaces  debian/5.0-3
 tagged by  Johannes Schauer
        on  Thu Sep 8 23:06:43 2016 +0200

- Log -----------------------------------------------------------------
dose3 Debian release 5.0.1-1

Johannes Schauer (6):
      New upstream version 5.0.1
      Merge tag 'upstream/5.0.1'
      Add new upstream version changelog entry
      remove patches distcheck-fg-bg and getrealname
      Add patches 
0001-check_request_using-can-return-discording-result-bet.patch and 
0002-tentative-fix-for-missing-essential-problem-apt-cudf.patch
      upload 5.0.1-1 to sid

-----------------------------------------------------------------------

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on 
/srv/git.debian.org/git/pkg-ocaml-maint/packages/dose3.git

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to