[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