This is a fix for Issue#15 #18

Merged
micke merged 1 commits from Issue#15 into master 3 years ago
micke commented 3 years ago
Owner

This fix makes it so that we can handle that previously discovered
bridges are no longer available.

This fix makes it so that we can handle that previously discovered bridges are no longer available.
micke closed this pull request 3 years ago
micke deleted branch Issue#15 3 years ago
micke referenced this issue from a commit 3 years ago
micke referenced this issue from a commit 3 years ago
micke referenced this issue from a commit 3 years ago
The pull request has been merged as 82db8a297e.
Sign in to join this conversation.
No reviewers
No Milestone
No Assignees
1 Participants
Notifications
Due Date

No due date set.

Dependencies

No dependencies set.

Reference: micke/tinge#18
Loading…
There is no content yet.