changes.mady.by.user John
Saved on Oct 19, 2018
Saved on Nov 17, 2018
...
> git checkout 2.4.2
Restart the Arduino IDE