[gazebo] 02/02: Merge branch 'master' of ssh://git.debian.org/git/debian-science/packages/gazebo
Jose Luis Rivero
jrivero-guest at moszumanska.debian.org
Tue Mar 15 18:57:05 UTC 2016
This is an automated email from the git hooks/post-receive script.
jrivero-guest pushed a commit to branch master
in repository gazebo.
commit 5c458bc817bbcea0cf0049a151fc03a248bfc010
Merge: 0e7b23f fb82e14
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date: Tue Mar 15 19:56:54 2016 +0100
Merge branch 'master' of ssh://git.debian.org/git/debian-science/packages/gazebo
debian/changelog | 8 ++++++++
debian/control | 44 +++++++++++---------------------------------
debian/rules | 3 ---
3 files changed, 19 insertions(+), 36 deletions(-)
--
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/debian-science/packages/gazebo.git
More information about the debian-science-commits
mailing list