-
-
Notifications
You must be signed in to change notification settings - Fork 491
Pull requests: arduino/arduino-ide
Pull requests list
chore: switch to version Related to project infrastructure
type: enhancement
Proposed improvement
2.3.1 after the release
topic: infrastructure
#2356
by kittaakos
was merged Feb 7, 2024
Loading...
updated Feb 7, 2024
4 tasks
ProTip!
Filter pull requests by the default branch with base:main.