fix 180: prevent erroneous "auto-reconnect"(s) in board selector#1328
Merged
davegarthsimpson merged 12 commits intomainfrom Aug 24, 2022
Merged
fix 180: prevent erroneous "auto-reconnect"(s) in board selector#1328davegarthsimpson merged 12 commits intomainfrom
davegarthsimpson merged 12 commits intomainfrom
Commits
Commits on Aug 16, 2022
- committed
- committed
- committed
- committed
- committed