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

per1234 merged 1 commit intoarduino:masterarduino/arduino-cli:masterfrom

per1234:rename-package-index-specificationCopy head branch name to clipboard