Fix tool name to point to proper JSON entry#6513

d-a-v merged 1 commit intoesp8266:masteresp8266/Arduino:masterfrom

earlephilhower:cicrazyearlephilhower/Arduino:cicrazyCopy head branch name to clipboard