[flint] annotated tag debian/2.5.2-11 created (now 8e15bc5)

[Mattia Rizzolo]

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

mattia pushed a change to annotated tag debian/2.5.2-11
in repository flint.

        at  8e15bc5   (tag)
   tagging  c20e3c8ff0cbbcffdb8143a281266667c3ef755a (commit)
  replaces  debian/2.5.2-10
 tagged by  Mattia Rizzolo
        on  Wed Nov 9 11:34:58 2016 +0000

- Log -----------------------------------------------------------------
flint Debian release 2.5.2-11
-----BEGIN PGP SIGNATURE-----

iQIcBAABCgAGBQJYIwniAAoJEAgWueGMdiutfhkP/1Fsf8GG2SQ/m8NUOxzxipn/
oyUlYw440DO/jOx2dixRcT9/8Ub/Y2SKhy3z4wUQ3C20UsgYR8PlcEeHIs7sUhHY
hBMAtfaWMVq0ZWwAqw2R/tRaOftnTPlC2jeQ50M/HlIR6sGXQxBtR40w1iuzSM/I
rBnla887047khwfUGO5aJC4URcR/wm4Qw9OIgzmPoClfq5BtaniT8ksYZlnYarDU
DICXOQwLGY8Pa+FOcCMq5kSPLX25jjhxO3ixHea6J6GBM0PhyXggVeYKXz/eO1EQ
8rUkSzrtYJ8jotuD5OOj6qFMRckINBXkFSLpGrZg2iqEz2ql0ODS7D555yJzUx9o
YRWLM/F1Ya1/mYx3/28fMGZMobfYsaFRJWMftxMbqCJoBXhh/dg8CaX02VjwrBsA
RQ/KxjMv3PGP8bsytnaQry71Fb1M4BjSq7G8MXl+RhkoIAjXahfb4ja5tS9RupQn
ZUakpzmUB6eZaGSHbUZBn1/4Angy0D6ewHNbtRYaGNF1AUPVLdPoUFe1DIsD8+PD
1fdnICTS0hs3d4+sTSeqz0Pj5idZDR9rrRYyvBDgVWkOIb6pkRRy+BX5VQoVERhA
Fqt3g7fNt1NuW4ySPuziepXCbSoSavLlogeOcaUQd8m8r18VRie0AA95j+bqODya
0GVJp7CSkLi0T27NDBeU
=aY/k
-----END PGP SIGNATURE-----

Julien Puydt (2):
      Added missing dep of -dev on libmpfr-dev
      Prepare 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