Add support for packages[].platforms[].deprecated property of package index#203

Merged

per1234 merged 1 commit intoarduino:mainfrom

per1234:package-index-deprecated-property

Jul 9, 2021

Commits on Jul 9, 2021

Add support for packages[].platforms[].deprecated property of package index
per1234
committed