While I agree a fix would be nice, putting a new release of OMPL out will cause some downstream churn in MoveIt! and things that depend on moveit. I'd rather get this sync out, and then get a new OMPL release early into the next sync. The good news is that a new sync will be in a couple of weeks (barring any regressions). --- [Visit Topic](https://discourse.ros.org/t/preparing-for-melodic-sync-2019-01-17/7502/3) or reply to this email to respond. If you do not want to receive messages from ros-users please use the unsubscribe link below. If you use the one above, you will stop all of ros-users from receiving updates. ______________________________________________________________________________ ros-users mailing list ros-users@lists.ros.org http://lists.ros.org/mailman/listinfo/ros-users Unsubscribe: