[gazebo] 01/02: Merge branch 'dfsg_clean'

[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 3cf348bc92f1666f2328b54f4f33031a2c9baf19
Merge: 4f4da8f d4154c0
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Sep 5 19:29:43 2017 +0000

    Merge branch 'dfsg_clean'


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