[flint] 03/03: 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 c286436dad03515829c2c18f62483b33f7d72ce7
Merge: 78ae339 3d45233
Author: Julien Puydt <julien.puydt at laposte.net>
Date:   Sun Apr 17 15:09:24 2016 +0200

    Merge tag 'upstream/2.5.2'
    
    Upstream version 2.5.2


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