[gringo] 02/03: gringo-broken-std-exception_ptr.patch: add more DEP-3 information

[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 cf8b3a13d3ac31aed6622484ffd85613cb76db80
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sun Dec 18 09:36:25 2016 +0100

    gringo-broken-std-exception_ptr.patch: add more DEP-3 information
---
 debian/patches/gringo-broken-std-exception_ptr.patch | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/debian/patches/gringo-broken-std-exception_ptr.patch b/debian/patches/gringo-broken-std-exception_ptr.patch
index 0fecf6d..e852a89 100644
--- a/debian/patches/gringo-broken-std-exception_ptr.patch
+++ b/debian/patches/gringo-broken-std-exception_ptr.patch
@@ -1,6 +1,9 @@
 From: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
 Date: Wed, 14 Dec 2016 08:37:15 +0100
 Subject: add support for architectures with broken std::exception_ptr
+ std::exception_ptr is currently not supported on armel, see libstdc++
+ bug https://gcc.gnu.org/bugzilla/show_bug.cgi?id=58938
+Forwarded: not-needed
 
 ===================================================================
 ---

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