Skip to content
This repository has been archived by the owner on Jul 22, 2021. It is now read-only.

rmf_door_msgs #13

Merged
merged 4 commits into from
Nov 15, 2019
Merged

rmf_door_msgs #13

merged 4 commits into from
Nov 15, 2019

Conversation

codebot
Copy link
Member

@codebot codebot commented Nov 14, 2019

No description provided.

@codebot codebot requested a review from mxgrey November 14, 2019 09:01
mxgrey
mxgrey reviewed Nov 14, 2019
View reviewed changes
rmf_door_msgs/msg/DoorRequest.msg Show resolved Hide resolved
rmf_door_msgs/msg/DoorRequest.msg Outdated Show resolved Hide resolved
mxgrey
mxgrey approved these changes Nov 15, 2019
View reviewed changes
Copy link
Member

@mxgrey mxgrey left a comment

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Looks great! 🎉

@codebot codebot merged commit 2e37de9 into master Nov 15, 2019
@codebot codebot deleted the rmf_door_msgs branch November 15, 2019 05:54
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Reviewers

@mxgrey mxgrey mxgrey approved these changes

Assignees
No one assigned
Labels
None yet
Projects
None yet
Milestone
No milestone
Development

Successfully merging this pull request may close these issues.

None yet
2 participants
@codebot @mxgrey