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