[ode] 02/03: Merge tag 'upstream/0.13.1+git20150309'

[Leopold Palomo-Avellaneda]

This is an automated email from the git hooks/post-receive script.

lepalom-guest pushed a commit to branch master
in repository ode.

commit e62b2174da58fcf10220d5588964b488a3612f85
Merge: ea5d946 6a93e64
Author: Leopold Palomo-Avellaneda <leo at alaxarxa.net>
Date:   Sat Oct 3 22:32:53 2015 +0200

    Merge tag 'upstream/0.13.1+git20150309'
    
    Upstream version 0.13.1+git20150309


-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-games/ode.git