Fix handling of non mbed .lib files in Python 3#866
Merged
theotherjimmy merged 1 commit intoARMmbed:masterfrom Mar 5, 2019
Merged
Fix handling of non mbed .lib files in Python 3#866theotherjimmy merged 1 commit intoARMmbed:masterfrom
theotherjimmy merged 1 commit intoARMmbed:masterfrom