Skip to content
This repository has been archived by the owner on Mar 2, 2019. It is now read-only.

Exit on unresponsive bridge #63

Merged
merged 1 commit into from
Jan 15, 2018
Merged

Exit on unresponsive bridge #63

merged 1 commit into from
Jan 15, 2018

Conversation

praseodym
Copy link
Member

No description provided.

@praseodym praseodym merged commit 6a3ed56 into master Jan 15, 2018
@praseodym praseodym deleted the exit-on-unresponsive branch January 15, 2018 21:12
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.

1 participant