[skip-changelog] Do not force update index
every time lib search
is executed#2072
Merged
MatteoPologruto merged 3 commits intoarduino:masterfrom Feb 13, 2023
Commits
Commits on Feb 13, 2023
- committed