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