[ppl] annotated tag debian/0.10.2-9 created (now 19b4e4d)

[Andreas Tille]

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

tille pushed a change to annotated tag debian/0.10.2-9
in repository ppl.

        at  19b4e4d   (tag)
   tagging  1e703e0611f221d9f7fba747356d08a3ca697e57 (commit)
  replaces  debian/0.10.2-8
 tagged by  Andreas Tille
        on  Sat Nov 12 01:14:01 2016 -0600

- Log -----------------------------------------------------------------
Debian release 0.10.2-9

Michael Tautschnig (1):
      Imported Debian patch 0.10.2-9

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

No new revisions were added by this update.

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/ppl.git