[gazebo] 05/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 5ecb287ad31cd3b295c68820bc78ae63e42fafee
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Jan 17 00:22:48 2017 +0000

    Remove merged patch
---
 debian/patches/fix-boost1.62.patch | 14 --------------
 debian/patches/series              |  1 -
 2 files changed, 15 deletions(-)

diff --git a/debian/patches/fix-boost1.62.patch b/debian/patches/fix-boost1.62.patch
deleted file mode 100644
index 091fc39..0000000
--- a/debian/patches/fix-boost1.62.patch
+++ /dev/null
@@ -1,14 +0,0 @@
-Description: fix a build failure with boost1.62
-Author: Carlos Agüero
-Origin: https://bitbucket.org/osrf/gazebo/commits/5a7cfea81159d5287a561bc8be035f89f0dc303d
-
---- gazebo-7.3.1+dfsg.orig/gazebo/rendering/Camera.cc
-+++ gazebo-7.3.1+dfsg/gazebo/rendering/Camera.cc
-@@ -25,6 +25,7 @@
- 
- #include <boost/algorithm/string.hpp>
- #include <boost/filesystem.hpp>
-+#include <boost/format.hpp>
- #include <sdf/sdf.hh>
- 
- #ifndef _WIN32
diff --git a/debian/patches/series b/debian/patches/series
index b3ae58d..a9ad18e 100644
--- a/debian/patches/series
+++ b/debian/patches/series
@@ -1,4 +1,3 @@
 0002_use_system_gtest.patch
 0005-fix-problems-on-manpage.patch
 0008-arial-font-removed-in-dfsg.patch
-fix-boost1.62.patch

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