Make minor updates/fixes to comments in infrastructure files#239
Merged
per1234 merged 2 commits intoarduino:mainfrom Aug 6, 2021
per1234:fix-comments
Merged
Make minor updates/fixes to comments in infrastructure files#239per1234 merged 2 commits intoarduino:mainfrom per1234:fix-comments
per1234 merged 2 commits intoarduino:mainfrom
per1234:fix-comments