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

switch negotiation updates to subscribed connections #75

Merged
merged 2 commits into from
Sep 14, 2020

Conversation

ddengster
Copy link
Contributor

works with open-rmf/rmf-web#80

Copy link
Member

@Yadunund Yadunund left a comment

Choose a reason for hiding this comment

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

Thanks for this enhancement!

@Yadunund Yadunund merged commit 70d36d0 into master Sep 14, 2020
@Yadunund Yadunund deleted the negotiations_subscribe branch September 14, 2020 05:02
Sign up for free to subscribe to this conversation on GitHub. Already have an account? Sign in.
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

None yet

2 participants