[flint] 02/02: Release 2.5.2-17 to Debian unstable.

[Ximin Luo]

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

infinity0 pushed a commit to branch master
in repository flint.

commit 4035a5ab07c66e7d7eea3a4039e7609c86b93654
Author: Ximin Luo <infinity0 at debian.org>
Date:   Thu Nov 9 11:14:01 2017 +0100

    Release 2.5.2-17 to Debian unstable.
---
 debian/changelog | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

diff --git a/debian/changelog b/debian/changelog
index b3e8ed3..db6f29a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,10 +1,10 @@
-flint (2.5.2-17) UNRELEASED; urgency=medium
+flint (2.5.2-17) unstable; urgency=medium
 
   * Team upload.
   * Extend asm_volatile_div.patch to i386 as flint-arb tests are failing there
     as well. Also cover signed division, for good measure. (Closes: #881236)
 
- -- Ximin Luo <infinity0 at debian.org>  Thu, 09 Nov 2017 11:08:08 +0100
+ -- Ximin Luo <infinity0 at debian.org>  Thu, 09 Nov 2017 11:13:59 +0100
 
 flint (2.5.2-16) unstable; urgency=medium
 

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