[flint] annotated tag debian/2.5.2-2 created (now 3c11230)

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

        at  3c11230   (tag)
   tagging  ff04170991ea35f592dcb1c3333300c5d01612a1 (commit)
  replaces  debian/2.5.2-1
 tagged by  Tobias Hansen
        on  Mon Sep 14 23:21:50 2015 +0200

- Log -----------------------------------------------------------------
flint Debian release 2.5.2-2

Julien Puydt (7):
      Made libflint-... a Section: libs
      Disable optimizations so we don't FTBFS on i386
      Prepare 2.5.2-2
      Add override since we compile with -O0
      Reenable optimisations with a better fix
      Disable static lib compilation
      Remove now useless overrides

Tobias Hansen (1):
      Prepare changelog for upload.

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

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