Improved lib detection: check for matching name in library.properties#1300

Merged

silvanocerza merged 1 commit intomasterfrom

scerza/improve-lib-detection

May 26, 2021

Commits on May 25, 2021

Improved lib detection: check for matching name in library.properties (#1276)

cmaglie
and
silvanocerza
committed