Fix caching for libraries when installation folder differents from Name#2446
Merged
cmaglie merged 3 commits intoarduino:masterfrom Dec 4, 2023 
Merged
Fix caching for libraries when installation folder differents from Name#2446cmaglie merged 3 commits intoarduino:masterfrom 
cmaglie merged 3 commits intoarduino:masterfrom