Skip to content

Conversation

@aaugustin
Copy link
Member

Fix #414.

@aaugustin aaugustin force-pushed the reconnect branch 3 times, most recently from 18becbb to 2f5a108 Compare June 5, 2021 17:49
@aaugustin aaugustin merged commit 29094a2 into main Jun 9, 2021
@aaugustin aaugustin deleted the reconnect branch June 9, 2021 05:55
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.

Common pattern for reconnections

1 participant