[gringo] 03/03: Update changelog

[Thomas Krennwallner]

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

tkren-guest pushed a commit to branch devel
in repository gringo.

commit 2446288789942bf10511ec3ac38bda1d31284fb5
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Tue Dec 20 05:12:29 2016 +0100

    Update changelog
---
 debian/changelog | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 03d46b6..806909a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+gringo (5.1.0-4) unstable; urgency=medium
+
+  * fix FTBFS on alpha: do not define FPU_SWITCH_DOUBLE on alpha,
+    _FPU_GETCW and friends are undefined on this arch
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Tue, 20 Dec 2016 05:10:36 +0100
+
 gringo (5.1.0-3) unstable; urgency=medium
 
   * debian/rules: fix FTBFS on architectures that require -latomic

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