Error management: save space when core logs are not enabled#1739
Merged
fpistm merged 4 commits intostm32duino:mainfrom Jun 16, 2022
Merged
Error management: save space when core logs are not enabled#1739fpistm merged 4 commits intostm32duino:mainfrom
fpistm merged 4 commits intostm32duino:mainfrom