[gringo] 03/03: gringo 2.5.1-3 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 0c4c9e9c286025bb024551f8c0fab93133cbdb39
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Nov 4 11:15:05 2017 +0100

    gringo 2.5.1-3 changelog
    
    * add patch from upstream commit 02c6d85 to fix wrong assertion
    * debian/control: Build-Depends to cmake >= 3.1.0
---
 debian/changelog | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/debian/changelog b/debian/changelog
index 2d3c606..9c33fa9 100644
--- a/debian/changelog
+++ b/debian/changelog
@@ -1,3 +1,10 @@
+gringo (5.2.1-3) unstable; urgency=medium
+
+  * add patch from upstream commit 02c6d85 to fix wrong assertion
+  * debian/control: Build-Depends to cmake >= 3.1.0
+
+ -- Thomas Krennwallner <tkren at kr.tuwien.ac.at>  Sat, 04 Nov 2017 11:14:23 +0100
+
 gringo (5.2.1-2) unstable; urgency=medium
 
   * Use pkgkde-symbolshelper to manage C++ symbols

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