[flint] annotated tag debian/2.5.2-14 created (now 01e2198)

[Tobias Hansen]

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

thansen pushed a change to annotated tag debian/2.5.2-14
in repository flint.

        at  01e2198   (tag)
   tagging  ea5ef969c9e157f2f8bcaecba00c460cea42d52d (commit)
  replaces  debian/2.5.2-13
 tagged by  Tobias Hansen
        on  Wed Dec 21 00:48:17 2016 +0000

- Log -----------------------------------------------------------------
flint Debian release 2.5.2-14

Tobias Hansen (3):
      Update git-dpm checksum for orig tarball.
      Remove git-dpm.
      Apply undef_count_leading_zeros.patch.

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

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