[skip changelog] Document packages[*].platforms[*].deprecated package index field#1510
Merged
per1234 merged 1 commit intoarduino:masterfrom Oct 14, 2021
per1234:document-platform-deprecation
Merged
[skip changelog] Document `packages[*].platforms[*].deprecated` package index field#1510per1234 merged 1 commit intoarduino:masterfrom per1234:document-platform-deprecation
per1234 merged 1 commit intoarduino:masterfrom
per1234:document-platform-deprecation
