Correct text of "INSTALLED" label in Library/Boards Manager#1507
Merged
per1234 merged 1 commit intoarduino:mainarduino/arduino-ide:mainfrom Oct 3, 2022
per1234:fix-installed-labelCopy head branch name to clipboard
Commits
Commits on Sep 30, 2022
Correct text of "INSTALLED" label in Library/Boards Manager
Show description for 5e0f1f2committed