[skip changelog] Specify list format for --additional-urls option#917
Merged
per1234 merged 1 commit intoarduino:masterfrom Aug 26, 2020
per1234:improve-additional-urls-option-docs
Merged
[skip changelog] Specify list format for --additional-urls option#917per1234 merged 1 commit intoarduino:masterfrom per1234:improve-additional-urls-option-docs
per1234 merged 1 commit intoarduino:masterfrom
per1234:improve-additional-urls-option-docs