[flint] 04/04: Merge branch 'master' of git+ssh://git.debian.org/git/debian-science/packages/flint

[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 2f3e0f406af69243beb6e1aa7e6c82048a9f51bc
Merge: bc524a6 0062371
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Thu Jul 7 22:56:35 2016 +0200

    Merge branch 'master' of git+ssh://git.debian.org/git/debian-science/packages/flint

 debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --cc debian/changelog
index 1edf7d1,65d1fa9..427c285
--- a/debian/changelog
+++ b/debian/changelog
@@@ -1,14 -1,4 +1,14 @@@
 +flint (2.5.2-7) UNRELEASED; urgency=medium
 +
 +  [ Mattia Rizzolo ]
 +  * Add patch to fix compilation on hurd.
 +
 +  [ Julien Puydt ]
 +  * Remove -ansi flag from compilation line to fix compilation on MIPS.
 +
 + -- Julien Puydt <julien.puydt at laposte.net>  Thu, 07 Jul 2016 22:12:43 +0200
 +
- flint (2.5.2-6) UNRELEASED; urgency=medium
+ flint (2.5.2-6) unstable; urgency=medium
  
    * Team upload.
    * Rebuild against NTL 9.9.1.

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