Melodic Maintainers,
Currently Melodic has no regressions and 98 packages ready to sync. I plan to hold new releases for Melodic starting tomorrow, January 18, with a sync late next week.
Please reply here if there are any other outstanding issues I should know about before performing the sync.
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).