Merge branch 'groovy-devel' of github.com:ros-planning/moveit_core into groovy-devel
Merge branch 'groovy-devel' of github.com:ros-planning/moveit_core into groovy-devel