Pull in fixes from Gazebo

This commit is contained in:
Lorenz Meier
2016-03-12 12:14:55 +01:00
parent 2d25ef36bb
commit 22a0ce7048