[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 9340be97c7c75794ff9e9b01607cfb2b907c27a3
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Thu Dec 15 06:50:20 2016 +0100

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

diff --git a/debian/changelog b/debian/changelog
index dd28be9..3f96e85 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,12 @@
+gringo (5.1.0-2) unstable; urgency=medium
+
+  * debian/rules: fix C++11 threads
+    - link with libatomic on architectures that need it
+    - disable threads and define BROKEN_STD_EXCEPTION_PTR on armel
+  * gringo-broken-std-exception_ptr.patch: add support for armel
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Thu, 15 Dec 2016 06:49:16 +0100
+
 gringo (5.1.0-1) unstable; urgency=medium
 
   * New upstream version 5.1.0

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