[kido] 02/02: Merge branch 'master' of ssh://git.debian.org/git/debian-science/packages/kido

[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 kido.

commit 8cf25fd44113b6c422b71003f8ac0c32234e9764
Merge: fe47049 1a42715
Author: Jose Luis Rivero <jrivero at osrfoundation.org>
Date:   Tue Sep 6 00:01:39 2016 +0000

    Merge branch 'master' of ssh://git.debian.org/git/debian-science/packages/kido


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