[ompl] 02/02: Merge tag 'upstream/0.13.0+git20130920.01d0ca4'

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

commit 3f7570e5b0b222382a0a2759495117938e385a0d
Merge: 79490bd 4311fa2
Author: Leopold Palomo <leopold.palomo at upc.edu>
Date:   Thu Oct 31 09:08:05 2013 +0100

    Merge tag 'upstream/0.13.0+git20130920.01d0ca4'
    
    Upstream version 0.13.0+git20130920.01d0ca4


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