[flint] annotated tag debian/2.5.2-16 created (now a4eb43f)

[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-16
in repository flint.

        at  a4eb43f   (tag)
   tagging  05499cd5ddcd86f6733b29667893fa88b47e22ff (commit)
  replaces  debian/2.5.2-15
 tagged by  Julien Puydt
        on  Mon Nov 6 19:36:30 2017 +0100

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

iQIzBAABCgAdFiEEgS7v2KP7pKzk3xFLBMU71/4DBVEFAloAq8QACgkQBMU71/4D
BVGDVxAAnmdr248qJf7hAtKnsatENa8VJOCMLQi2EgmqIFsPAOC9MRxb+GEyAYOi
PxOxMHxYOkWFv0iOBIYja0FqjO1gwuWaUPPzGr2w8u3Aqq44rEAF27o/Q4F+j9cz
TrnxbkIln9xe2j3Lwilyz949kamtThZf7qHEWH9OpqVvwhK6TnXJ1ZZibVsg6FC6
6eNYnd4x9xr1JpqAcEh29/TnuAvrygT0kH02rb3DKH0QO7tSBphHwc80FfwnvBYh
QSZ5GQkVbMPMIF9qsK0Uj74wJ32aXZT55CTYsnTXNSbUGTKET/mfalQK4kzzuB/1
5S5rpKWRygmR0euyMBtmxtGsatzWIhkml8uSDjwyroX6fzsvDc+5poj4nWedoJfT
w3d6kYHmdn6RqnC9vvVqoq0E5bqxMf1LFWaPvaARX6m/HgEgmw2v1bjqTPX42JsI
GL8eMQ/c6TN3W9m+MdYlCC37H/F3Qw01sXOZYDPLexz0TRsblKMN6JT4eUmO7/YS
ufFpWbADYILNpmqrYOSXpzuFTmQ+mIIUNPWhfd3el6gELruRj8QA7B9R6zuoeLRp
+z3i8SvWNLT7e+P7WQRCpgBYaVxTfZ6eLw1DOKzrg8BQQWjPo8Li8UGaQdNdmZL2
c8okz/PxSJbmYCmUROK7Tl/abqGhiq/yEGlKAEivIn2pPNMNln8=
=9frA
-----END PGP SIGNATURE-----

Julien Puydt (9):
      Bump standards-version to 4.0.0
      Bump std-ver to 4.1.1
      Bump d/watch to version 4
      Add override for missing autopkgtest
      Avoid parsing the changelog to find the upstream version
      Ship the static version (#879597)
      Use https for d/copyright's Format
      Document the addition of the patch by Ximin Luo in d/changelog
      Prepare for upload

Ximin Luo (1):
      Add __volatile__ to asm(div), fixes FLINT-ARB test failure

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

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