Arduino-esp32 release mgmt. improvements and fixes#1557
Merged
me-no-dev merged 1 commit intoespressif:masterfrom Jun 28, 2018
pacucha42:master
Merged
Arduino-esp32 release mgmt. improvements and fixes#1557me-no-dev merged 1 commit intoespressif:masterfrom pacucha42:master
me-no-dev merged 1 commit intoespressif:masterfrom
pacucha42:master