Kill active programmer if still alive after closing last IDE window#8184
Merged
facchinm merged 2 commits intoarduino:masterfrom Nov 23, 2018
Merged
Kill active programmer if still alive after closing last IDE window#8184facchinm merged 2 commits intoarduino:masterfrom
facchinm merged 2 commits intoarduino:masterfrom