[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 b3de55a2635650616acce3fc7192ff5b94408055
Merge: f77854f 8c8747c
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Mon Aug 3 01:15:23 2015 +0000

    Merge branch 'dfsg_clean'


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