[gazebo] 01/01: Fix patch path

Jose Luis Rivero jrivero-guest at moszumanska.debian.org
Thu Jul 21 15:35:37 UTC 2016


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

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

commit 4b1e55262af06412495999b332771a49ebc6242c
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Thu Jul 21 15:35:12 2016 +0000

    Fix patch path
---
 debian/patches/series | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/debian/patches/series b/debian/patches/series
index 2f86282..6f1d740 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,4 @@
 0002_use_system_gtest.patch
 0005-fix-problems-on-manpage.patch
 0008-arial-font-removed-in-dfsg.patch
-debian/patches/0009-fix-gcc6-linking.patch
+0009-fix-gcc6-linking.patch

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



More information about the debian-science-commits mailing list