-
-
Notifications
You must be signed in to change notification settings - Fork 512
Pull requests: arduino/arduino-ide
Pull requests list
fix: can unset Has already been submitted
topic: CLI
Related to Arduino CLI
topic: code
Related to content of the project itself
type: imperfection
Perceived defect in any part of project
network#proxy in the CLI config
conclusion: duplicate
ProTip!
Type g p on any issue or pull request to go back to the pull request listing page.