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

treinen pushed a change to annotated tag debian/0.1.13-17
in repository planets.

        at  59bd298   (tag)
   tagging  86bb5f6e190396f7a63ba03745db414a7ee794bb (commit)
  replaces  debian/0.1.13-16
 tagged by  Ralf Treinen
        on  Tue Sep 26 08:24:02 2017 +0200

- Log -----------------------------------------------------------------
planets Debian release 0.1.13-17

Ralf Treinen (4):
      DH compat level 10
      improve long description
      spelling in doc-base file
      standards-version 4.1.0: drop menu, priority=optional


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