[skip-changelog]Update installed.json with newer entries#1998
Merged
MatteoPologruto merged 1 commit intoarduino:masterfrom Dec 2, 2022
Commits
Commits on Dec 2, 2022
- committed
installed.json with newer entries#1998