Merge with remote master#227

Closed

Michael-Equi wants to merge 1 commit intoSteveMacenski:foxy-develfrom

BytesRobotics:br-devel

Commits on Jul 12, 2020

Fixed the name of the map_saver script used by the /save_map service
Michael-Equi
committed