Fix resolution of library names when checking for upgrades#1725
Merged
per1234 merged 1 commit intoarduino:masterfrom May 11, 2022
stonehippo:lib-upgrade-resolution-fix
Merged
Fix resolution of library names when checking for upgrades#1725per1234 merged 1 commit intoarduino:masterfrom stonehippo:lib-upgrade-resolution-fix
per1234 merged 1 commit intoarduino:masterfrom
stonehippo:lib-upgrade-resolution-fix