[flint] 01/02: Merge tag 'upstream/2.5.2'

[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 c8ff8b2147ad5fb1b4be76d15ed49ebdb9d2b987
Merge: 5aa9f8c 02ca7bf
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Thu Aug 13 22:33:07 2015 +0200

    Merge tag 'upstream/2.5.2'
    
    Upstream version 2.5.2

 Makefile.in               | 10 +++++-----
 NEWS                      |  5 +++++
 configure                 | 37 +++++++++++++++++++------------------
 doc/latex/input/title.tex |  4 ++--
 flint.h                   |  4 ++--
 gmpcompat.h               |  2 +-
 6 files changed, 34 insertions(+), 28 deletions(-)

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