Skip to content

Dev/update map parts

Daniel Müller requested to merge dev/update_map_parts into master

Added service to reset occupation of a given map area.

Also merge in homer_map_manager!16 (merged) (interfaces.py) and homer_mapnav_msgs!3 (merged) (ClearMapArea.srv) with this merge request here.

Edited by Daniel Müller

Merge request reports