[kido] 01/01: Update debhelper version

[Jose Luis Rivero]

This is an automated email from the git hooks/post-receive script.

jrivero-guest pushed a commit to branch master
in repository kido.

commit 0a2fe26a0fd39db2f6109512cdafe285bc192578
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Thu Jul 21 00:46:24 2016 +0000

    Update debhelper version
---
 debian/control | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/control b/debian/control
index f69159b..1ec3c71 100644
--- a/debian/control
+++ b/debian/control
@@ -4,7 +4,7 @@ Uploaders: Jose Luis Rivero <jrivero at osrfoundation.org>
 Section: science
 Testsuite: autopkgtest
 Priority: optional
-Build-Depends: debhelper (>= 9),
+Build-Depends: debhelper (>= 9.20151219),
                cmake,
                libeigen3-dev,
                libfcl-dev (>= 0.2.7),

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