Closed cdondrup closed 9 years ago
Since https://github.com/strands-project/strands_navigation/pull/234 and https://github.com/strands-project/strands_hri/pull/113 have been merged, this should be merged too.
This needs to be merged before a new release of strands_navigation, otherwise things will break. @marc-hanheide @hawesie
Needs https://github.com/strands-project/strands_hri/pull/113 merged.