[flint] annotated tag debian/2.5.2-15 created (now 6353873)

[Julien Puydt]

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

jpuydt-guest pushed a change to annotated tag debian/2.5.2-15
in repository flint.

        at  6353873   (tag)
   tagging  72e3a53753588fbcee36207abd7dc6251afb9896 (commit)
  replaces  debian/2.5.2-14
 tagged by  Julien Puydt
        on  Tue Jan 24 01:19:30 2017 +0100

- Log -----------------------------------------------------------------
debian/2.5.2-15
-----BEGIN PGP SIGNATURE-----

iQIzBAABCgAdFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAliGnZYACgkQBMU71/4D
BVFwXQ//X2wjwhQHlMv4dz09EDGpKDrNmEclA0jEnQi/HLEXW5QTljbIb7z/VOVo
Gkvr9cgD5ryVKI44/ssCy0FQYuhr2S963DSbnKJvwPSvxgWZ+eqMGMaRSqM9+k5q
Dweebv04c+9Fc+iW1cWrsXaeqmG2UDT4U0D78eVrpjOwca+XVDU2w49//U1xS6Pj
hKHrTXmSN5YeEH+Ji3pxCHuG16FXW5RA55wnHbv7rZgLAsyIRWoDBdzhP/Bt+HoN
aTTfGX72iNsHR1Z6+UE0l5q20VRpW2ise5XrflaF0vI8u1f7Xhnpj3F0M+1r8ESA
eWXnqTmIl9mkNno2S2nDlr/FSUrO0ymNctQfi/CYQmuSZbk0JwjuYa06JBKc5HgL
pE/1a+iY7nw3+za6w9vVcCuiz07VqTNkSt1FiADFVt6b8E0bW/ZiLXTY3HYXBcDZ
YI8EV2IfZV7nUZCW1n9XN1uagXIgKiM4JzV4UR+MagOgCHFZIEtt8hz9+96COJle
1b4IFuRSQUp0QSdcEVU3exh88wCQur142iwh4Qffco3Jv6UkCUiKiMxyJ1l44P6b
6QOtnITXw/wNhlXJXOhjWm/BjIL8FFbQB6XqJV4oyuTtpfmDtN2skdK0wZtYzXDH
N4syQZkBjunz5zru3lTgn1hXd9r0h1THxbo7drTxC4g96G7Rq30=
=RUYZ
-----END PGP SIGNATURE-----

Julien Puydt (1):
      Use -march=mips2 to avoid gcc's #852153, thus closing #852007

-----------------------------------------------------------------------

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