[flint] annotated tag debian/2.5.2-13 created (now 397f011)

[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-13
in repository flint.

        at  397f011   (tag)
   tagging  2d3bdc2433454c8fa1918561b255bfe65a3905f7 (commit)
  replaces  debian/2.5.2-12
 tagged by  Tobias Hansen
        on  Thu Nov 17 20:39:15 2016 +0000

- Log -----------------------------------------------------------------
flint Debian release 2.5.2-13

Julien Puydt (1):
      Use gcc-5 and g++-5 on mips and mipsel

Tobias Hansen (1):
      Improve comment in d/rules and upload to unstable.

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

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