[skip changelog] Allow library names to start with a number#1136

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

per1234:allow-lib-name-number-prefixCopy head branch name to clipboard