fix the listing of the boards#668

umbynos merged 4 commits intomainarduino/arduino-create-agent:mainfrom

umbynos/list_bugarduino/arduino-create-agent:umbynos/list_bugCopy head branch name to clipboard