Skip to content

Conversation

@MegaRedHand
Copy link
Owner

This PR fixes an issue we had when removing devices where the edges wouldn't come back after undoing the removal.

@MegaRedHand MegaRedHand self-assigned this Apr 2, 2025
@MegaRedHand MegaRedHand marked this pull request as ready for review April 2, 2025 00:09
@pgallino pgallino merged commit add0b04 into main Apr 3, 2025
3 checks passed
@pgallino pgallino deleted the fix-remove-edge branch April 3, 2025 00:31
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.

3 participants