[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