[ppl] annotated tag debian/1%1.0-3 created (now 8e5c311)

[Andreas Tille]

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

tille pushed a change to annotated tag debian/1%1.0-3
in repository ppl.

        at  8e5c311   (tag)
   tagging  f92a2363e1c4f33ccc9b2e64fe6a0d272ca4afa8 (commit)
  replaces  debian/1%0.11.2-9
 tagged by  Andreas Tille
        on  Sat Nov 12 01:16:04 2016 -0600

- Log -----------------------------------------------------------------
Debian release 1:1.0-3

Matthias Klose (1):
      Imported Debian patch 1:1.0-3

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

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