[skip changelog] Use generally applicable name for package index specification#1137

Merged

per1234 merged 1 commit intoarduino:masterfrom

per1234:rename-package-index-specification

Jan 14, 2021

Commits on Jan 13, 2021

[skip changelog] Use generally applicable name for package index specification
per1234
committed