[gringo] 02/02: gringo 5.2.1-4 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 49eacfea45944dce56d62ea5da45cfa84a396dd7
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Nov 4 14:55:46 2017 +0100

    gringo 5.2.1-4 changelog
    
    * debian/symbols: fix FTBFS on armel
---
 debian/changelog | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 9c33fa9..fb1702a 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,9 @@
+gringo (5.2.1-4) unstable; urgency=medium
+
+  * debian/symbols: fix FTBFS on armel
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Sat, 04 Nov 2017 14:55:24 +0100
+
 gringo (5.2.1-3) unstable; urgency=medium
 
   * add patch from upstream commit 02c6d85 to fix wrong assertion

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