[gazebo] 02/05: Remove merged patch

[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 gazebo.

commit 843e3b69ac635f8d0cefac3169c88772aab9a0a4
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Jan 17 00:20:08 2017 +0000

    Remove merged patch
---
 debian/patches/0009-fix-gcc6-linking.patch | 17 -----------------
 debian/patches/series                      |  1 -
 2 files changed, 18 deletions(-)

diff --git a/debian/patches/0009-fix-gcc6-linking.patch b/debian/patches/0009-fix-gcc6-linking.patch
deleted file mode 100644
index 566029b..0000000
--- a/debian/patches/0009-fix-gcc6-linking.patch
+++ /dev/null
@@ -1,17 +0,0 @@
-Description: Include boost library to fix problems with gcc6
-Author: Jose Luis Rivero <jrivero at osrfoundation.org>
-Bug: https://bitbucket.org/osrf/gazebo/pull-requests/2402
-Last-Update: 2016-07-21
-
-diff --git a/gazebo/physics/CMakeLists.txt b/gazebo/physics/CMakeLists.txt
-index 0150efc..3d82b0f 100644
---- a/gazebo/physics/CMakeLists.txt
-+++ b/gazebo/physics/CMakeLists.txt
-@@ -153,6 +153,7 @@ target_link_libraries(gazebo_physics
-   gazebo_util
-   gazebo_ode
-   gazebo_opcode
-+  ${Boost_LIBRARIES}
- )
- 
- # Link in Bullet support if present
diff --git a/debian/patches/series b/debian/patches/series
index 8823300..9a71c7a 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,7 +1,6 @@
 0002_use_system_gtest.patch
 0005-fix-problems-on-manpage.patch
 0008-arial-font-removed-in-dfsg.patch
-0009-fix-gcc6-linking.patch
 0001-fix_tinyxml_constant.patch
 0004-fix-status-double-declaration.patch
 fix-boost1.62.patch

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