Closed jmirabel closed 5 years ago
Needs https://github.com/humanoid-path-planner/hpp-core/pull/172
@stonneau this can now be merged.
Needs https://github.com/humanoid-path-planner/hpp-core/pull/172