[fplll] annotated tag debian/5.1.0-1 created (now 8316ed8)

[Tobias Hansen]

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

thansen pushed a change to annotated tag debian/5.1.0-1
in repository fplll.

        at  8316ed8   (tag)
   tagging  fad44f98a19250b728e7802a48e51e956264b135 (commit)
  replaces  debian/5.0.3-1
 tagged by  Tobias Hansen
        on  Thu Jun 15 15:05:50 2017 +0100

- Log -----------------------------------------------------------------
fplll Debian release 5.1.0-1

Julien Puydt (5):
      New upstream version 5.1.0
      Merge tag 'upstream/5.1.0'
      Package new upstream release 5.1.0
      Follow soname version bump
      Updated the fplll(1) manpage

Tobias Hansen (1):
      Upload to Debian experimental.

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

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/fplll.git