Skip to content

Fix reset connectiivity - #69

Merged
petergrossmann21 merged 2 commits into
mainfrom
fix_reset_connectiivity
Sep 1, 2026
Merged

Fix reset connectiivity#69
petergrossmann21 merged 2 commits into
mainfrom
fix_reset_connectiivity

Conversation

@petergrossmann21

Copy link
Copy Markdown
Contributor

Close a pattern matching corner case bug that caused reset pins to not get hooked up.

@petergrossmann21
petergrossmann21 merged commit 1951d2d into main Sep 1, 2026
20 checks passed
@petergrossmann21
petergrossmann21 deleted the fix_reset_connectiivity branch September 1, 2026 16:56
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.

2 participants