8000 workaround: stop discoveries before install/uninstall boards/libs by fstasi · Pull Request #674 · arduino/arduino-ide · GitHub
[go: up one dir, main page]
Skip to content

workaround: stop discoveries before install/uninstall boards/libs#674

Merged
fstasi merged 1 commit intomainfrom
fix-discovery
Dec 10, 2021

Commits

Commits on Dec 10, 2021
0