Please reply here if there are any other outstanding issues I should know about before performing the sync.
It would be nice to have the OMPL locale issues in: https://bitbucket.org/ompl/ompl/issues/496/localization-errors-or-the-tale-of-decimal
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).
I released 1.4.2 which contains this fix and a few other minor bug fixes.
The melodic sync is out