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

mehdi pushed a change to annotated tag debian/0.1.13-16
in repository planets.

        at  a669499   (tag)
   tagging  3d8ff70964eb36ea130ccdbe3203cd85b4855327 (commit)
  replaces  debian/0.1.13-15
 tagged by  Mehdi Dogguy
        on  Fri Oct 16 22:24:19 2015 +0200

- Log -----------------------------------------------------------------
planets Debian release 0.1.13-16

Mehdi Dogguy (2):
      Fix installability on bytecode architectures
      Release to unstable


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