-
-
Notifications
You must be signed in to change notification settings - Fork 491
Pull requests: arduino/arduino-ide
Pull requests list
Layout improvements of the filter for boards and libs manager
conclusion: duplicate
Has already been submitted
topic: code
Related to content of the project itself
type: enhancement
Proposed improvement
#1372
by francescospissu
was closed Aug 31, 2022
•
Draft
4 tasks
Layout improvements of the filter for boards and libs manager
conclusion: duplicate
Has already been submitted
topic: code
Related to content of the project itself
type: enhancement
Proposed improvement
#1369
by francescospissu
was closed Aug 30, 2022
•
Draft
4 tasks
ProTip!
Exclude everything labeled
bug with -label:bug.
You can’t perform that action at this time.