8000 fix: board `<select>` update on board detach by kittaakos · Pull Request #2291 · arduino/arduino-ide · GitHub
[go: up one dir, main page]
Skip to content

fix: board <select> update on board detach#2291

Merged
kittaakos merged 1 commit intomainfrom
#2222
Jan 15, 2024

Commits

Commits on Nov 22, 2023
0