[gringo] 04/11: debian/compat: bump debhelper compat level to 10

[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 9bde56796cfabd5c8679f673b3688cf2869f5e2d
Author: Thomas Krennwallner <tkren at kr.tuwien.ac.at>
Date:   Sat Oct 14 07:42:31 2017 +0000

    debian/compat: bump debhelper compat level to 10
---
 debian/compat | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/compat b/debian/compat
index ec63514..f599e28 100644
--- a/debian/compat
+++ b/debian/compat
@@ -1 +1 @@
-9
+10

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