-
-
Notifications
You must be signed in to change notification settings - Fork 514
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!
Find all pull requests that aren't related to any open issues with -linked:issue.