#1142 Handle missing core when getting board user fields by kittaakos · Pull Request #1325 · arduino/arduino-ide