This repository was archived by the owner on Jan 11, 2018. It is now read-only.

Merge branch 'ide-1.5.x' of github.com:arduino/Arduino into ide-1.5.x…