[Pkg-ocaml-maint-commits] [dose3] annotated tag debian/4.0.2-3 created (now c739ae2)

[Ralf Treinen]

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

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

        at  c739ae2   (tag)
   tagging  5bb232ae7318e5cab18680c5976c40e5018f4518 (commit)
  replaces  debian/4.0.2-2
 tagged by  Ralf Treinen
        on  Thu Dec 24 12:49:29 2015 +0100

- Log -----------------------------------------------------------------
dose3 Debian release 4.0.2-3

Ralf Treinen (1):
      restore doc generation

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

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