Mark Moll Mon, 23 Mar 2020 19:06:47 -0700
Fix is here: https://github.com/ompl/ompl/commit/962961fb86a6395d14c35f655dc439377a0cfbec
Best, Mark
