[ignition-common] 01/01: Added patch for missing header

[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 ignition-common.

commit 3ad6859bd8bf3a36ee5a787460919f9229698698
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Jan 31 01:06:41 2017 +0000

    Added patch for missing header
---
 debian/patches/series | 1 +
 1 file changed, 1 insertion(+)

diff --git a/debian/patches/series b/debian/patches/series
index 7e24f28..cc7a402 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -4,3 +4,4 @@
 0004_exclude_exception_test.patch
 0005_fix_install_paths.patch
 0006_fix_pkgconfig_file.patch
+0007_missing_header.patch

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