[gringo] 02/02: 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 f1503ec1cf1e8b76ef94611a6ebcd8ec1fac2640
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Mon May 2 07:25:29 2016 +0200

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

diff --git a/debian/changelog b/debian/changelog
index d53ba6c..224bf57 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,11 @@
+gringo (4.5.4-3) unstable; urgency=medium
+
+  * Fix gringo-multi-solver.patch: this fixes an FTBFS on architectures
+    that have WITH_THREAD=0, i.e., all architectures except amd64 and
+    ppc64.
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Mon, 02 May 2016 07:18:34 +0200
+
 gringo (4.5.4-2) unstable; urgency=medium
 
   * Bug fix: "FTBFS: error: 'pow' is not a member of 'std'", thanks to

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