Clean tools key of obsolete version on next release#6258
Merged
earlephilhower merged 3 commits intoesp8266:masterfrom Jul 16, 2019
Merged
Clean tools key of obsolete version on next release#6258earlephilhower merged 3 commits intoesp8266:masterfrom
earlephilhower merged 3 commits intoesp8266:masterfrom