Gazebo: Fix usage of timestamps

This commit is contained in:
Lorenz Meier
2017-08-01 19:50:35 +02:00
parent 292dce04aa
commit 94684899a5