mirror of
https://github.com/arduino/arduino-ide.git
synced 2025-06-18 01:56:34 +00:00

Non-unique board names per core caused an issue in the boards config. Closes: arduino/arduino-pro-ide#262 Signed-off-by: Akos Kitta <kittaakos@typefox.io>