Allow port, protocol and port settings to be specified in profiles. (… · arduino/arduino-cli@24bd145

Triggered via push October 7, 2024 10:59