[flint] 03/03: Remove now useless overrides

[Julien Puydt]

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

jpuydt-guest pushed a commit to branch master
in repository flint.

commit 9a0fa2e3135bb0d68288631806ab2b3b613c0bb5
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Fri Sep 11 21:01:31 2015 +0200

    Remove now useless overrides
---
 debian/libflint-2.5.2.lintian-overrides | 4 ----
 1 file changed, 4 deletions(-)

diff --git a/debian/libflint-2.5.2.lintian-overrides b/debian/libflint-2.5.2.lintian-overrides
deleted file mode 100644
index d82fd2d..0000000
--- a/debian/libflint-2.5.2.lintian-overrides
+++ /dev/null
@@ -1,4 +0,0 @@
-# the -O0 in d/rules was added because of failing testsuite issues
-# on i386-based arches (i386, hurd-i386 and kfreebsd-i386),
-# see bug #798149.
-libflint-2.5.2 binary: hardening-no-fortify-functions

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/flint.git