Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

account for renaming from building_map_msgs to rmf_building_map_msgs #5

Merged
merged 1 commit into from
Mar 27, 2021

Conversation

cnboonhan
Copy link
Contributor

Minor refactoring to account for recent refactoring

Signed-off-by: Boon Han charayaphan.nakorn.boon.han@gmail.com

Signed-off-by: Boon Han <charayaphan.nakorn.boon.han@gmail.com>
@gbiggs gbiggs merged commit 9f74eeb into main Mar 27, 2021
@gbiggs gbiggs deleted the refactor/building_map_msgs branch March 27, 2021 13:48
ChawinTan pushed a commit that referenced this pull request Apr 15, 2021
)

Signed-off-by: Boon Han <charayaphan.nakorn.boon.han@gmail.com>
Signed-off-by: ChawinTan <chawin15@gmail.com>
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants