New location for octomap_mapping on GitHub
New location for octomap_mapping on GitHub
Merge pull request #1092 from ahornung/patch-20

New location for octomap_mapping on GitHub (doc.yaml)